Next: completely_reduced_lpl( PL pl)
Up: Reference Manual
Previous: combine_poly( Poly p1
- Type:
- Function
- Defined in:
- reductions.c.trace
-
- Returns the complete normal form of p w.r.t. ps.
- See also:
- Section 5.3,
partial_normal_form_poly.
windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998