next up previous contents index
Next: is_equal_coef( Coef c1 Up: Reference Manual Previous: is_empty_pl( PL pl)

is_empty_ps( PS ps)

Type:
Virtual Predicate
Defined in:
CU.ps2pl
tex2html_wrap_inline6634
Returns TRUE if ps is the empty (polynomial) set.
See also:
Section 4.5.


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