poly_ideal_saturation SciMax Toolbox poly_lcm

SciMax Toolbox >> poly_ideal_saturation1

poly_ideal_saturation1

Maxima Function

Calling Sequence

poly_ideal_saturation1 (polylist, poly, varlist)

Description

Returns the reduced Groebner basis of the saturation of the ideal

I(polylist):poly^inf

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

poly_ideal_saturation SciMax Toolbox poly_lcm