poly_grobner_debug SciMax Toolbox poly_grobner_member

SciMax Toolbox >> poly_grobner_equal

poly_grobner_equal

Maxima Function

Calling Sequence

poly_grobner_equal (polylist1, polylist2, varlist)

Description

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
poly_grobner_debug SciMax Toolbox poly_grobner_member