Maxima Function
poly_grobner_equal (polylist1, polylist2, varlist)
poly_grobner_equal
tests whether two Groebner Bases generate the same ideal.
Returns true
if two lists of polynomials polylist1 and polylist2, assumed to be Groebner Bases,
generate the same ideal, and false
otherwise.
This is equivalent to checking that every polynomial of the first basis reduces to 0
modulo the second basis and vice versa. Note that in the example below the
first list is not a Groebner basis, and thus the result is false
.
(%i1) poly_grobner_equal([y+x,x-y],[x,y],[x,y]); (%o1) false