next up previous contents index
Next: Lists of Polynomials Up: Data Types in GRÖBNER Previous: Polynomials with Cofactors


Labeled Polynomials

Type Name:
A list consisting of an integer l (``a label'') and a polynomial p.

Labeled polynomials are used in advanced versions of the Gröbner bases algorithm with application of the criteria to detect zero-reductions, where one frequently has to check for equality of polynomials in the basis. Each polynomial gets a (different) label before it is adjoined to the basis. This allows the equality-check between basis polynomials to be performed by just checking equality of the integer labels.

windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998