is_equal_coef( Coef c1, Coef c2)

Type:

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.