W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: xsd:float and xsd:decimal

From: Jan Grant <Jan.Grant@bristol.ac.uk>
Date: Sat, 23 Nov 2002 10:40:42 +0000 (GMT)
To: Dan Connolly <connolly@w3.org>
cc: Jeremy Carroll <jjc@hpl.hp.com>, w3c-rdfcore-wg <w3c-rdfcore-wg@w3.org>
Message-ID: <Pine.GSO.4.44.0211231039400.22060-100000@mail.ilrt.bris.ac.uk>

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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT