Lex
Lex
-- a symbol used as an optional argument of
MonomialOrder
in monoids handled by the
engine
to indicate that the monomial order is the (non-graded) lexicographic order.
