[cmucl-imp] [cmucl-help] NaN

[Raymond Toy]

>>>>> "Marco" == Marco Antoniotti <marcoxa at cs.nyu.edu> writes:

    >> On Jan 9, 2017, at 17:16 , Raymond Toy <toy.raymond at gmail.com> wrote:
    >> 
    >>>>>>> "Marco" == Marco Antoniotti <marcoxa at cs.nyu.edu> writes:
[snip]
    >> 
    >> Coincidentally, I was looking at ieeefp-tests
    >> (https://gitlab.common-lisp.net/ieeefp-tests/ieeefp-tests) last
    >> night. It might satisfy your needs because it provides at least some
    >> of the things you're looking for.  And it looks like it abcl, cmucl,
    >> and sbcl.  Not bad.

    Marco> Thanks for the pointer to IEEEFP-TESTS.

    >> I'm curious, though.  Can you explain your use case for having such an
    >> interface?

    Marco> Well.  I have been fooling around (read: veered off a
    Marco> tangent) with interval arithmetic, where it looks like you
    Marco> need to ensure that your rounding modes are set to positive
    Marco> or negative infinity when using an end points
    Marco> representation.  That’s were it all started.

That's one way. I vaguely recall some Fortran TOMS package that
included interval arithmetic, but I think it just did something simple
like multiply by 1+e for some tiny e.

Setting the rounding modes twice (up and down) for every operation is
pretty expensive.

--
Ray