next up previous contents index
Next: init_groebner_globals() Up: Reference Manual Previous: head_reduced_lp( LP lp

head_reduced_poly( Poly p, PS ps)

Defined in:
Returns the complete normal form of the polynomial p w.r.t. the set of polynomials ps in the case it is known that the leading monomial of p cannot be further reduced. This implies that the leading monomial remains unchanged and the remaining polynomial is completely reduced.
See also:
Section 5.3.

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