Tim Daly <[email protected]> writes: > Yes. > > > A trigonometry test suite would be interesting. I'm a member of > the Numerical Mathematics Consortium > (http://www.nmconsortium.org/index.aspx) > and they recently published a technical specification for trig functions. > (http://math.mit.edu/~numericalmath/nmc/index.php/Technical_Specification) > > If you look at Appendix A you can see the table of branch-cut choices. > Since this consortium also includes companies such as Maple it would be > a good place to devote some "system independent" effort. It is on my "todo" > list to make a test suite based on this standard so I'd be happy to help > guide a student, even if someone else is the public lead. > > In particular, just developing a test suite that would highlight the > branch cut choices made by a variety of systems would be very valuable. > I know that MMA and Maxima tend to agree and Axiom and Maple tend to > agree but we both make different choices.
Note that there is also the HyperSpec for common lisp. I did a tiny bit of work in that direction: look into elemnum.input.pamphlet in fricas/src/input/. http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/input/elemnum.input.pamphlet This was done using the fricas testing framework, but I'm sure it won't be difficult to translate to any other framework. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
