monoid[a,b,c, MonomialOrder => {...}]
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.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Macaulay2Doc/functions/monoid-doc.m2:563:0.