poly_grobner_member SciMax Toolbox poly_ideal_intersection

SciMax Toolbox >> poly_grobner_subsetp

poly_grobner_subsetp

Maxima Function

Calling Sequence

poly_grobner_subsetp (polylist1, polylist2, varlist)

Description

poly_grobner_subsetp tests whether an ideal generated by polylist1 is contained in the ideal generated by polylist2. For this test to always succeed, polylist2 must be a Groebner basis.

poly_grobner_member SciMax Toolbox poly_ideal_intersection