What does reverse lexicographic order mean?
I met it when learning about Graded reverse lexicographic order. Here is the definition:
Graded reverse lexicographic order (grevlex, or degrevlex for degree reverse lexicographic order) compares the total degree first, then uses a reverse lexicographic order as tie-breaker
But I was not able to find a definition for a reverse lexicographic order.
To continue exactly at the point you ended your quote: