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