next up previous contents index
Next: Labeled Polynomials Up: Data Types in GRÖBNER Previous: Distributive Polynomials in List


Polynomials with Cofactors


Type Name:
``Polynomials with cofactors w.r.t. an ordered set of polynomials''. tex2html_wrap_inline6544 are polynomials such that


holds for given (ordered) polynomials tex2html_wrap_inline6546 .

An operation tex2html_wrap_inline6548 for polynomials is generalized for polynomials with cofactors in the following way:


Hence, whenever a new polynomial with cofactors is the result of a sequence of operations, Equation (1) still holds for the result. For instance, the result of the calculation of an S-polynomial  and reducing it w.r.t. an ordered set of polynomials is the normal form of the S-polynomial plus a representation in terms of the initial polynomials.

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