Ordre Lexicographique Gradué

Un ordre monomial qui compare d'abord le degré total (somme des exposants) et, lorsque les degrés totaux coïncident, départage lexicographiquement selon un ordre de variables choisi. Il combine la priorisation par degré avec un départage lexicographique déterministe.