Re: xsd:float and xsd:decimal

On 22 Nov 2002, Dan Connolly wrote:

> I'm somewhat surprised by this (my impression was that the value
> space of float was a bunch of open intervals around rationals
> or something), but after checking a bunch of details,
> I'm convinced.

They're always points; just the operators have been changed. (Otherwise
it's hard to see how 1+1-1 = 1 with floats as open intervals.)

-- 
jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/
Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/
Goedel would be proud - I'm both inconsistent _and_ incomplete.

Received on Saturday, 23 November 2002 05:43:11 UTC