[Axiom-developer] [#167 Infinite Floats Domain] computable real numbers

[daly]

Changes 
http://page.axiom-developer.org/zope/mathaction/167InfiniteFloatsDomain/diff
--
>From Kai Kaminski:

> I just read your posts about infinite precision floats on the Axiom 
> list and I recalled that I have seen something like this a while ago. I 
> am not sure if this is what you are looking for but it sounds like it:

>  http://www.haible.de/bruno/MichaelStoll/reals.html

> It is implemented in Common Lisp apparently.

yes, this is exactly the idea. 

Tim



--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden