Reduced lexicographic Groebner basis over the rationals
GroebnerBasis[{poly1, poly2, …}, {x1, x2, …}]
GroebnerBasis[{poly1, poly2, …}, {x1, x2, …}, {y1, y2, …}]
GroebnerBasis[{x ^ 2 - 2y ^ 2, x y - 3}, {x, y}]
→ {-9 + 2*y^4, 3*x - 2*y^3}GroebnerBasis[{x + y, x ^ 2 - 1, y ^ 2 - 2x}, {x, y}]
→ {1}GroebnerBasis[{x ^ 2 + y ^ 2 + z ^ 2 - 1, x y - z + 2}, {x, y, z}]
→ {4 - y^2 + y^4 - 4*z + z^2 + y^2*z^2, -2*x - y + y^3 + x*z + y*z^2, 2 + x*y - z, -1 + x^2 + y^2 + z^2}- MonomialOrder — default Lexicographic
- CoefficientDomain — default Automatic
- Method — default Automatic
- Modulus — default 0