"Marco" == Marco Antoniotti <marcoxa@cs.nyu.edu> writes:
>> On Jan 9, 2017, at 17:16 , Raymond Toy <toy.raymond@gmail.com> wrote: >> >>>>>>> "Marco" == Marco Antoniotti <marcoxa@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