next up previous contents index
Next: remaining_polynomial_dpl( DPL p) Up: Reference Manual Previous: remaining_pairs_pas( PaS pas)

remaining_polynomial( Poly p)

Virtual Function
Defined in:
CU.poly2pc or CU.poly2ppoly
Returns the remaining polynomial of p, i.e. p without its leading monomial.
See also:
Section 4.4.1.

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