monoid(...,MonomialOrder=>...) -- specify the monomial ordering

Synopsis

• Usage:

  monoid[a,b,c, MonomialOrder => {...}]

Description

Further information

• Default value: {GRevLex, Position => Up}
• Function: monoid -- make or retrieve a monoid
• Option key: MonomialOrder -- monomial ordering

See also

• MonomialOrder -- monomial ordering
• monomial orderings
• monoid -- make or retrieve a monoid
• newRing -- make a copy of a ring, with some features changed
• tensor(Ring,Ring) -- tensor product of monoids
• symmetricAlgebra -- the symmetric algebra of a module

Functions with optional argument named MonomialOrder :

• graphIdeal(...,MonomialOrder=>...) -- see graphIdeal(RingMap) -- the ideal of the graph of the regular map corresponding to a ring map
• graphRing(...,MonomialOrder=>...) -- see graphRing(RingMap) -- the coordinate ring of the graph of the regular map corresponding to a ring map
• monoid(...,MonomialOrder=>...) -- specify the monomial ordering
• newRing(...,MonomialOrder=>...) -- see newRing -- make a copy of a ring, with some features changed
• pushForward(...,MonomialOrder=>...) -- see pushForward(RingMap,Module)
• rsort(...,MonomialOrder=>...) -- specify Ascending or Descending monomial order
• sort(...,MonomialOrder=>...) -- specify Ascending or Descending monomial order
• sortColumns(...,MonomialOrder=>...) -- specify Ascending or Descending monomial order
• symmetricAlgebra(...,MonomialOrder=>...) -- see symmetricAlgebra -- the symmetric algebra of a module
• tensor(Monoid,Monoid,MonomialOrder=>...) -- see tensor(Monoid,Monoid) -- tensor product of monoids
• tensor(Ring,Ring,MonomialOrder=>...) -- see tensor(Monoid,Monoid) -- tensor product of monoids