GroebnerBasis [y-x^2, z-x^3], lexicographic, {x, y, z}