Un ordre monomial gradué qui compare d'abord le degré total et, pour des degrés totaux égaux, utilise un départage lexicographique inverse : on compare les vecteurs d'exposants de la dernière variable vers la première et, à l'indice le plus à droite où ils diffèrent, le monôme ayant le plus petit exposant à cet indice est considéré comme plus grand. Il est largement employé pour les calculs de bases de Gröbner en raison de son comportement pratique favorable.

Principe

Clé primaire : degré total. Clé secondaire : départage inverse lexicographique des vecteurs d'exposants, où la première différence la plus à droite détermine l'ordre et le plus petit exposant rend le monôme plus grand.

Démonstration

Avec x>y>z, comparer x^2y (2,1,0) et xy^2 (1,2,0) ; les deux ont degré total 3. En regardant de z vers x, la première différence est en y (1 vs 2). Comme 1<2, x^2y > xy^2 pour l'ordre inverse lexicographique gradué (Grevlex).

Mauvaise application

Supposer que Grevlex impose les mêmes schémas d'élimination que lex ou qu'il préserve la parcimonie des coefficients dans tous les cas ; Grevlex optimise le comportement en degré mais ne produit pas nécessairement des idéaux d'élimination par simple projection comme le fait lex.

Conséquence

Grevlex produit souvent des bases de Gröbner avec une croissance de degré plus faible et une meilleure efficacité de calcul en pratique ; il est fréquemment le choix par défaut des systèmes d'algèbre formelle pour ces raisons.

Inversion

Basculer vers GrLex ou lex pur : prioriser un départage lexicographique ou supprimer la priorité du degré modifiera les monômes leaders et peut rendre explicites les propriétés d'élimination au prix d'un pire comportement en degré.

Limite

Défini pour des anneaux de polynômes usuels avec graduation par degré total ; il ne couvre pas automatiquement les ordres inverse-lex pondérés ni les contextes non commutatifs sans adaptation.

Tension sémantique

Il est en concurrence avec GrLex et lex : Grevlex combine degré d'abord et un départage inverse qui tend à favoriser des monômes peu denses de haut degré, tandis que lex impose une priorité stricte des variables et GrLex utilise un départage lex direct.

Synthèse

Grevlex ordonne les monômes par degré total et résout les égalités par comparaison inverse lexicographique des exposants de la dernière à la première variable, échangeant la priorité stricte des variables contre de meilleures propriétés de croissance en degré et des performances pratiques souvent supérieures.