MonomialOrder -- monomial ordering
MonomialOrder -- an optional argument used with monoids to indicate a
monomial ordering other than the default (graded reverse lexicographic)
Permissible values:
Eventually, more general monomial orders will be allowed.
See also:
Functions with optional argument named MonomialOrder :