Monomial order

Summary

A monomial order is a total order on the monomials of a polynomial ring that is compatible with multiplication and has no infinite descending chains. It singles out a leading term in every nonzero polynomial, which is what makes the multivariate division algorithm and Gröbner bases work. Common examples are the lexicographic order, the graded lexicographic order and the graded reverse lexicographic order.