next up previous contents index
Next: is_equal_dpl( DPL p1 Up: Reference Manual Previous: is_empty_ps( PS ps)

is_equal_coef( Coef c1, Coef c2)

Virtual Predicate
Defined in:
CU.coef2ff, CU.coef2rf or CU.coef2rn
Returns TRUE if c1 = c2, where c1 and c2 are elements of the chosen coefficient domain.
See also:
Section 4.2.

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