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.

Prinzip

Primärer Schlüssel: Gesamtexponent (Grad). Sekundärer Schlüssel: lexikographischer Vergleich der Exponentenvektoren nach fester Variablenpriorität. Dieser zweistufige Schlüssel macht die Ordnung graduell mit lex-Tie-Break.

Demonstration

Mit x>y>z vergleicht man x^2y (Grad 3) und xy^3 (Grad 4). Da 3<4, ist xy^3 > x^2y in der Graduierten Lexikographischen Ordnung (GrLex). Stimmen die Grade überein, greift der lexikographische Vergleich der Exponenten.

Fehlanwendung

GrLex mit reinem lex für Eliminationsaufgaben gleichsetzen: Da GrLex den Gesamtexponenten priorisiert, garantiert es nicht dieselben Eliminations-Eigenschaften wie lex und kann nicht so unmittelbar Eliminationsideale liefern.

Konsequenz

Richtig eingesetzt reduziert GrLex die unkontrollierte Gradexplosion gegenüber reinem lex in vielen Gröbner-Basis-Berechnungen, während es einen festen, reproduzierbaren Tie-Break durch lexikographischen Vergleich beibehält.

Umkehrung

Die Priorität umkehren, z. B. durch Verwendung von lex (keine Gradpriorität) oder durch Einsatz eines graduellen reverse-lex Tie-Breaks (Grevlex); solche Änderungen verändern die Wahl der Leitmonome und beeinflussen die algorithmische Komplexität.

Abgrenzung

Definiert für kommutative Polynomringe mit einfacher Totalgrad-Gradierung; es ersetzt nicht ohne weiteres gewichtete graduierte Ordnungen oder Blockordnungen ohne explizite Anpassung.

Semantische Spannung

Wettstreit mit Grevlex: Beide sind graduell (Grad zuerst), doch ihre Tie-Breaks (lex vs. reverse-lex) führen zu unterschiedlichen Gröbner-Basen und zu unterschiedlichen praktischen Laufzeiteigenschaften.

Synthese

Die graduierte lexikographische Ordnung ordnet Monome nach Gesamtexponenten und löst Gradegleichheiten durch lexikographischen Vergleich der Exponentenvektoren; sie tauscht strikte Variablenpriorität gegen Gradbewusstsein und reproduzierbares Tie-Break ein.