Graduierte Lexikographische Ordnung

Eine Monomialordnung, die zuerst den Gesamtexponenten (Summe der Exponenten) vergleicht und bei Gleichheit des Gesamtexponenten lexikographisch gemäß einer gewählten Variablenreihenfolge entscheidet. Sie verbindet eine gradbezogene Priorisierung mit einem deterministischen lexikographischen Tie-Break.