DD_GROEBNER _ _ _ _ _ _ _ _ _ _ _ _ operator

For a homogeneous system of polynomials under graded term order, gradlex term order, revgradlex term order

or weighted term order a Groebner Base can be computed with limiting the grade of the intermediate S polynomials:

syntax:

dd_groebner(<d1>,<d2>,<plist>)

where <d1> is a non negative integer and <d2> is an integer or ``infinity". A pair of polynomials is considered only if the grade of the lcm of their head terms is between <d1> and <d2>. For the term orders graded or weighted the (first) weight vector is used for the grade computation. Otherwise the total degree of a term is used.