## [Ordre Inverse Lexicographique Gradué](/fr/node/63517) Définition 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 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 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 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 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 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 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 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 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.