Maxima Function
poly_reduction (polylist, varlist)
poly_reduction reduces a list of polynomials polylist, so that each polynomial is fully reduced with respect to the other polynomials.
poly_reduction