[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
> (
> and they recently published a technical specification for trig functions.
> (
> 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/.

This was done using the fricas testing framework, but I'm sure it won't
be difficult to translate to any other framework.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]