Graduierte Inverse Lexikographische Ordnung

Eine graduierte Monomialordnung, die zuerst den Gesamtexponenten vergleicht und bei Gleichheit den lexikographisch-inversen Tie-Break verwendet: Exponentenvektoren werden von der letzten Variable zur ersten verglichen, und an der rechtsesten Stelle, an der sie sich unterscheiden, macht der kleinere Exponent das Monom größer.