next up previous contents index
Next: is_positive_ff( FF ff) Up: Reference Manual Previous: is_pa_greater( Pa p1

is_positive_coef( Coef c)

Type:
Virtual Predicate
Defined in:
CU.coef2ff, CU.coef2rf or CU.coef2rn
tex2html_wrap_inline6634
Returns TRUE if c is positive, where c is an element of the chosen domain of coefficients.
See also:
Section 4.2.


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