poly_ideal_polysaturation1 SciMax Toolbox poly_ideal_saturation1

SciMax Toolbox >> poly_ideal_saturation

poly_ideal_saturation

Maxima Function

Calling Sequence

poly_ideal_saturation (polylist1, polylist2, varlist)

Description

Returns the reduced Groebner basis of the saturation of the ideal

I(polylist1):I(polylist2)^inf

Geometrically, over an algebraically closed field, this is the set of polynomials in the ideal generated by polylist1 which do not identically vanish on the variety of polylist2.

poly_ideal_polysaturation1 SciMax Toolbox poly_ideal_saturation1