Maxima Function
poly_reduced_grobner (polylist, varlist)
Returns a reduced Groebner basis of the ideal span by the polynomials polylist. Affected by the global flags.