next up previous contents index
Next: poly_extracted_pl( PL pl) Up: Reference Manual Previous: pair_strategy

partial_normal_form_poly( Poly p, PS ps)

Type:
Function
Defined in:
reductions.c.trace
tex2html_wrap_inline6634
Returns the partial normal form of the polynomial p w.r.t. to the set of polynomials ps.
See also:
Section 5.3.



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