On November 18, 2005 8:47 AM C Y wrote: > > --- root Tim Daly wrote: > > ... > > now, can we move back to discussing math? > > Sounds good to me - back to the math. >
Yes I agree, back to the math! :-) Is anyone interested in discussing the implementation of exact computable reals in Axiom? http://page.axiom-developer.org/zope/mathaction/RealNumbers http://www.rbjones.com/rbjpub/cs/cs006.htm http://keithbriggs.info/xrc.html There has been quite a lot of work on this but as far as I know it has not yet made it's way into any commercial computer algebra systems like Maple, Mathematica, or MuPad. On the other hand these ideas fit very well with Axiom's approach and would provide Axiom with an immediate advantage over these other systems. Regards, Bill Page. _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
