Next: poly_extracted_pl( PL pl)
Up: Reference Manual
Previous: pair_strategy
- Type:
- Function
- Defined in:
- reductions.c.trace
-
- 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