Generic equality predicate equ?
Define a generic equality predicate
that tests the equality of two numbers, and install it in the generic arithmetic package. This operation should work for ordinary numbers, rational numbers, and complex numbers.
There are no comments yet.
You must log in to post a comment.Login