Re: [open-axiom-devel] [fricas-devel] Re: IEEE and real numbers

2008-10-29 Thread Bill Page
On Wed, Oct 29, 2008 at 2:32 PM, Gabriel Dos Reis wrote: > > Bill Page writes: > > | Well in the context of this thread a specific example might be -0. As > | I understand it, the reason that this value is not included in the > | domain Float is because the representation used there has no room for

Re: [open-axiom-devel] [fricas-devel] Re: IEEE and real numbers

2008-10-29 Thread Bill Page
On Wed, Oct 29, 2008 at 12:36 PM, Gabriel Dos Reis wrote: > ... > There is a huge ongoing debate in the Interval Computation community > about the links between intervals and floating points. > > They are different systems trying to deal with computability with real > numbers. The IEEE floating po