[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] GSoC CAS-neutral test suite project
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] GSoC CAS-neutral test suite project |
Date: |
Tue, 23 Mar 2010 09:22:11 +0100 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux) |
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