"Christophe" == Christophe Rhodes csr21@cam.ac.uk writes:
Christophe> Raymond Toy toy@rtp.ericsson.se writes: >> > (one other thing to bear in mind: my suspicion is that the act of >> > wanting to test ieee features will lead to a pseudo-compatibility >> > library for ieee functionality, living in ieee754-fooimpl.lisp; with >> > luck, we'll be able to find a nonhorrible API that can be written up >> >> I'm more willing to blame the libm vendor and/or chip for problems. >> I'm not really keen on implementing a compliant cosh implementation, >> for example.
Christophe> Ah, sorry, that's not what I meant. I meant tools such as for Christophe> inspecting the accrued exceptions, setting the rounding mode, Christophe> examining the operands of a trapping instruction, getting the Christophe> sign/mantissa/exponent of a float, examining the nonsignificant bits Christophe> of a NaN, unordered comparison operations, and so on. Operations that Christophe> are specified in ieee754 as "would be nice".
Oh, that's much better. This is more interesting and more useful.
I guess the first order of business is to implement nextafter, which I don't think any Lisp has implemented.
Ray