Re: [Axiom-developer] Comparison of CAS's?

[Gabriel Dos Reis]

On Tue, 5 Jun 2007, Martin Rubey wrote:

| From a user's perspective, I believe that MuPAD is currently the best CAS
| around. 

Yes, that is why I hesitated long between MuPAD an Axiom.  I was a little
unhappy with MuPAD's choice og going non-"free" for academic purposes -- but I
believe I understand the motivations.

| However, it's programming language has some severe limitations, which
| Aldor does not have.

Compared to Maple's programming language, I'd still take MuPAD.

| On the other hand, Axiom is free, and MuPAD is not, not even gratis anymore.

Yup. :-(

| Apart from all that, if our goal was to make Axiom pass more tests of Wester's
| suite, we need Gruntz algorithm for limits and an implementation of Zeilberger
| for summation, as far as I recall.  However, I think that this is not quite 
the
| right way to go about it.

Well, people will read Wester's book (and I hope they do!) and will wonder.
While I don't believe The Goal of Axiom is pass that testsuite, I believe
that Axiom should pass that testsuite.

-- Gaby