Changes http://page.axiom-developer.org/zope/mathaction/167InfiniteFloatsDomain/diff -- How is this different than what Axiom already does? I can write: \begin{axiom} a:=2*asin(1) a::Expression Float digits(100) a::Expression Float \end{axiom}
So %pi already has this kind of "closure" built-in. Is it really possible to do this more generally for all possible computations with real numbers? How are "computable reals" different than actual real numbers? wyscc wrote: > Any floating point system is only, mathematically speaking, > a small subset, and not evenly distributed one for that, > of the reals, and for that matter, of the rationals. It is > definitely not FRAC INT, which is mathematically equivalent > to the field of rational numbers. But surely there is an isomorphism between the domain of **infinite precision** floating point numbers and the domain of rationals, no? Maybe these **computable reals** are something else? Isn't it related to the RealClosure as already implemented in Axiom? -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED] _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer