next up previous contents index
Next: initialized_ppoly( PPoly p Up: Reference Manual Previous: initialized_dpl( DPL p

initialized_pc( PPoly p, int pos, int total)

Defined in:
Initialization of a polynomial with cofactors before Gröbner basis computation. p is assumed to be at position pos in a set of total polynomials. The cofactors refer to this set of polynomials, hence, the appropriate list of cofactors has the unit polynomial at position pos and zero at all other positions.
See also:
Section 3.13.

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