GroebnerBasis[{poly_1, poly_2, ...}, {x_1, x_2, ...}] gives a list of polynomials that form a Gröbner basis for the set of polynomials poly_i. GroebnerBasis[{poly_1, poly_2, ...

Mathematica has over 3000 built-in functions and other objects, all based on a single unified framework, and all carefully designed to work together, both in simple ...