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.
Go to
main index
.
Go to
concepts index
.