next up previous contents index
Next: normalized_dpl( DPL p) Up: Reference Manual Previous: normal_form_lp( LP lp

normal_form_poly( Poly p, PS ps)

Type:
Virtual Function
Defined in:
GB.nf.setup
tex2html_wrap_inline6634
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