Next: initialized_ppoly( PPoly p
Up: Reference Manual
Previous: initialized_dpl( DPL p
- 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.
Thu Sep 3 14:50:07 MDT 1998