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

The MonomialOrder option specifies the monomial ordering, see MonomialOrder.

This option may also be used when creating a new ring from an existing ring, creating a tensor product ring, or symmetric algebra.

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) -- compute the pushforward of a module along a ring map
• 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

Further information

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