Fix a lexicographical order x ≻ y ≻ z. Divide the multivariate polynomial p = x3+y3+z3 by the ordered list of polynomials {x+3y, xy2−x, y−z}.

Repeat the division with the divisors listed as {xy2 − x, x + 3y, y − z}.