Re: Floating point inaccuracies

[Tony Finch <dot@...>]

On Tue, 30 Nov 2010, David Kastrup wrote:
>
> And of course I want exactly one of the following to hold for any
> definite pair of numbers:
>
> a<b, a>b, a==b

In IEEE754 a and b can also be unordered.

> And I want a<=b to be the same as (a<b or a==b) and as not (a>b).

You're out of luck there :-) The former is true but not the latter.

Tony.
-- 
f.anthony.n.finch  <dot@dotat.at>  http://dotat.at/
HUMBER THAMES DOVER WIGHT PORTLAND: NORTH BACKING WEST OR NORTHWEST, 5 TO 7,
DECREASING 4 OR 5, OCCASIONALLY 6 LATER IN HUMBER AND THAMES. MODERATE OR
ROUGH. RAIN THEN FAIR. GOOD.