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

 

Polynomials with Cofactors

 

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

  equation921

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:

displaymath6540

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