Next: normalized_dpl( DPL p)
Up: Reference Manual
Previous: normal_form_lp( LP lp
- Type:
- Virtual Function
- Defined in:
- GB.nf.setup
-
- Returns the normal form of p w.r.t. ps.
- See also:
- Section 5.3,
complete_normal_form_poly, partial_normal_form_poly.
windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998