poly_buchberger SciMax Toolbox poly_coefficient_ring

SciMax Toolbox >> poly_buchberger_criterion

poly_buchberger_criterion

Maxima Function

Calling Sequence

poly_buchberger_criterion (polylist, varlist)

Description

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.

poly_buchberger SciMax Toolbox poly_coefficient_ring