"Christophe" == Christophe Rhodes csr21@cam.ac.uk writes:
Christophe> In the long term, I enviseage that this mechanism would be replaced by Christophe> two things: firstly, that the tests would be preceded by an Christophe> automatically generated comment (or would contain a docstring) Christophe> describing the test: maybe something like "(atanh 0.5d0) => f00d0" as Christophe> a quick summary, with obvious Inf and NaN notation; secondly that the
I agree. This is important. I think the constants should still remain since it still makes it easier to read the test.
Christophe> (one other thing to bear in mind: my suspicion is that the act of Christophe> wanting to test ieee features will lead to a pseudo-compatibility Christophe> library for ieee functionality, living in ieee754-fooimpl.lisp; with Christophe> 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.
Ray