Maxima Function
poly_grobner_subsetp (polylist1, polylist2, varlist)
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.