Maxima Function
poly_ideal_polysaturation (polylist, polylistlist, varlist)
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