Graded Reverse Lexicographic Order

A graded monomial ordering that compares total degree first and, for equal total degree, uses reverse lexicographic tie-breaking: compare exponent vectors from the last variable toward the first and, at the rightmost index where they differ, the monomial with the smaller exponent at that index is greater. It is widely used for Gröbner-basis computations because of its favorable practical behavior.