[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Floating point inaccuracies
- From: David Kastrup <dak@...>
- Date: Wed, 01 Dec 2010 21:20:46 +0100
Tony Finch <dot@dotat.at> writes:
> 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.
"definite pair of numbers".
>> 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.
"definite pair of numbers".
--
David Kastrup
