poly_ideal_polysaturation SciMax Toolbox poly_ideal_saturation

SciMax Toolbox >> poly_ideal_polysaturation1

poly_ideal_polysaturation1

Maxima Function

Calling Sequence

poly_ideal_polysaturation1 (polylist1, polylist2, varlist)

Description

polylist2 ist a list of n polynomials [poly1,...,polyn]. Returns the reduced Groebner basis of the ideal

I(polylist):poly1^inf:...:polyn^inf

obtained by a sequence of successive saturations in the polynomials of the polynomial list polylist2 of the ideal generated by the polynomial list polylist1.

poly_ideal_polysaturation SciMax Toolbox poly_ideal_saturation