poly_grobner_equal SciMax Toolbox poly_grobner_subsetp

SciMax Toolbox >> poly_grobner_member

poly_grobner_member

Maxima Function

Calling Sequence

poly_grobner_member (poly, polylist, varlist)

Description

Returns true if a polynomial poly belongs to the ideal generated by the polynomial list polylist, which is assumed to be a Groebner basis. Returns false otherwise.

poly_grobner_member tests whether a polynomial belongs to an ideal generated by a list of polynomials, which is assumed to be a Groebner basis. Equivalent to normal_form being 0.

poly_grobner_equal SciMax Toolbox poly_grobner_subsetp