Re: [Axiom-developer] GSoC CAS-neutral test suite project

[Martin Rubey]

Tim Daly <address@hidden> 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