[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
**Subject**: **Re: Floating point inaccuracies**
**From**: Tony Finch <dot@...>
**Date**: Tue, 30 Nov 2010 17:36:40 +0000

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.