Previous Next

Generic equality predicate equ?

Define a generic equality predicate equ? 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.

    # Marat
    2 weeks ago

    'install-rational-package' should export 'numer' and 'denom', which are to be used by update procedure (direct access to parts of rational number is possible, but requires knowledge on internal structure)

Authentication required

You must log in to post a comment.

Login