Orden Lexicográfico Graduado

Un orden de monomios que compara primero el grado total (suma de exponentes) y, cuando los grados totales coinciden, desempata lexicográficamente según una ordenación de variables elegida. Equilibra la priorización basada en grado con un desempate lexicográfico determinista.