GRevLex
-- a symbol used as an optional argument of
MonomialOrder in monoids handled by the engine to
indicate that the monomial order is the graded reverse lexicographic order.
Caveat: If the number of degree vectors is greater than one, this
is currently only graded using the first degree vector. This will
eventually change.