[Axiom-developer] CREALs

[daly]

Michael,

I'm Tim Daly, the lead developer on Axiom. Axiom was originally
developed at IBM Research, was bought to NAG and was a commercial
competitor to Mathematica and Maple. It was withdrawn from the
market and is now free and open source software. (see
http://savannah.nongnu.org/projects/axiom
http://sourceforge.net/projects/axiom
http://page.axiom-developer.org

We've been discussing a new infinite-precision reals package and
someone pointed me to your work. I'd like your permission to use
and modify the common lisp code which is available at:
http://www.haible.de/bruno/MichaelStoll/reals.html

Axiom is released under the Modified BSD license. I don't see a
license associated with your code so I'm not sure if I have your
permission to use and modify it.

Almost all of the code will end up being written in our algebra
language which will simplify the whole type issue.

Tim Daly
address@hidden