Bertfried, I agree with your comments in general.
On Thu, Mar 24, 2011 at 11:50 AM, you wrote: > > I have even problems with this in a sense of topological terms. > ... > > Hence such an operation destroys the equational representation > of the algebraic structure. I don't think this has to do with the > difference between FLOAT and (exact) reals... I agree completely to this point. > If you would represent reals exactly as streams of digits, then > a/0 is a process which would not terminate (truth value would > be `bottom' of `undefined', neither true nor false). The representation of almost all exact real numbers correspond to processes that do not terminate. In that sense I suppose a/0 is not so different, but certain not 0. > To do exact real number arithmetics one does need topology. > This is really a different subject but I would like to hear about your views on this. Can you think of any reference that relates exact real numbers to topology? If so, let's start another thread. Regards, Bill Page. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
