Maxima Function
poly_elimination_ideal (polylist, number, varlist)
poly_elimination_ideal returns the grobner basis of the number-th elimination ideal of an ideal specified as a list of generating polynomials (not necessarily Groebner basis
poly_elimination_ideal