Maxima Function
poly_buchberger (polylist_fl varlist)
poly_buchberger performs the Buchberger algorithm on a list of polynomials and returns the resulting Groebner basis.
poly_buchberger