Maxima Function
grobner_basis ([expr_1, ..., expr_m])
Returns a Groebner basis for the equations expr_1, ..., expr_m.
The function polysimp
can then
be used to simplify other functions relative to the equations.
grobner_basis ([3*x^2+1, y*x])$ polysimp (y^2*x + x^3*9 + 2) ==> -3*x + 2
polysimp(f)
yields 0 if and only if f is in the ideal generated by
expr_1, ..., expr_m, that is,
if and only if f is a polynomial combination of the elements of
expr_1, ..., expr_m.