GroebnerBasis::mnmord2
PolynomialReduce::mnmord2
GroebnerBasis`GroebnerWalk`GroebnerWalk::mnmord2
GroebnerBasis`DistributedTermsList::mnmord2
An error occurs in this example because the weight matrix given as the value of the MonomialOrder option does not specify ordering for all of the variables.
GroebnerBasis[{x y + 1, x ^ 2 + y z, z ^ 2 x ^ 2 + x + y}, {x, y, z}, MonomialOrder -> {{1, 0}, {0, 1}}]This shows a valid weight matrix for these polynomials.
GroebnerBasis[{x y + 1, x ^ 2 + y z, z ^ 2 x ^ 2 + x + y}, {x, y, z}, MonomialOrder -> {{1, 0, 0}, {0, 1, 0}, {0, 0, 1}}]