Re: [Axiom-developer] Book, other questions

[root]

CY,

One of the things under discussion (though not of late) is to 
combine Axiom and Maxima. Clearly they can both live in the same
lisp image and, from Axiom, it is possible to start maxima by doing:

)lisp (maxima)

When you exit maxima you are back in Axiom. 

There are algorithms in Maxima which exist nowhere else. It would
be useful to be able to use these algorithms in Axiom. I believe
this is possible by writing Axiom "cover functions", perhaps in
a "Maxima domain". I'm not quite sure how to use Axiom functions
in Maxima (although Axiom is really just common lisp it assumes a
lot of machinery). And there are issues about "carrying the type"
that need some deep thought. 

There are advantages to working on a joint effort, the primary one
being that we share rare and much needed expertise. There are few
people who are computational mathematicians and, since we are all
working on the same subject matter, it is painful to see such a
division of labor without the usual benefit.

If you think this might be of interest to you please let me know.

Tim