GRevLex -- reverse lexicographic ordering

GRevLex -- reverse lexicographic ordering

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.