poly_ideal_intersection SciMax Toolbox poly_ideal_polysaturation1

SciMax Toolbox >> poly_ideal_polysaturation

poly_ideal_polysaturation

Maxima Function

Calling Sequence

poly_ideal_polysaturation (polylist, polylistlist, varlist)

Description

polylistlist is a list of n list of polynomials [polylist1,...,polylistn]. Returns the reduced Groebner basis of the saturation of the ideal

I(polylist):I(polylist_1)^inf:...:I(polylist_n)^inf

poly_ideal_intersection SciMax Toolbox poly_ideal_polysaturation1