Maxima Function
poly_saturation_extension (poly, polylist, varlist1, varlist2)
poly_saturation_extension implements the famous Rabinowitz trick.
poly_saturation_extension