Maxima Function
poly_buchberger_criterion (polylist, varlist)
Returns true
if polylist is a Groebner basis with respect to the current term
order, by using the Buchberger
criterion: for every two polynomials h1 and h2 in polylist the
S-polynomial S(h1,h2) reduces to 0 modulo polylist.