Graded Lexicographic Order

A monomial order that first compares total degree (sum of exponents) and, when total degrees coincide, breaks ties lexicographically according to a chosen variable ordering. It balances degree-based prioritization with a deterministic lexicographic tie-break.