RevLex
RevLex
-- a symbol used as an optional argument of
MonomialOrder
in monoids handled by the
engine
to indicate that the monomial order is the reverse lexicographic order.
