Opened 10 years ago

Closed 10 years ago

Last modified 10 years ago

#11746 closed defect (duplicate)

Unify the definition of "monomial", introduce "term"

Reported by: boothby Owned by: boothby
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: commutative algebra Keywords: sd32
Cc: Merged in:
Authors: Reviewers: William Stein
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Consider:

    sage: R.<x> = QQ[]
    sage: S.<u,v> = QQ[]
    sage: f = 2*x
    sage: g = 2*u
    sage: f.is_monomial()
    True
    sage: g.is_monomial()
    False

According to Wikipedia, there are two conventions on the matter, and we should support both. I propose that we accept neither f nor g as monomials, and add the method is_term:

    sage: f.is_monomial()
    False
    sage: g.is_monomial()
    False
    sage: f.is_term()
    True
    sage: g.is_term()
    True

Change History (3)

comment:1 Changed 10 years ago by was

  • Resolution set to duplicate
  • Status changed from new to closed

This dup surely wouldn't happen if we were sitting right next to each other (which we are)! :-)

comment:2 Changed 10 years ago by mvngu

  • Milestone changed from sage-4.7.2 to sage-duplicate/invalid/wontfix

comment:3 Changed 10 years ago by leif

  • Reviewers set to William Stein
Note: See TracTickets for help on using tickets.