From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,338371dbbe7075d
X-Google-Attributes: gid103376,public
From: ig25@fg70.rz.uni-karlsruhe.de (Thomas Koenig)
Subject: Re: [Q] Portability of <= and >= with real operands
Date: 1996/12/03
Message-ID: <581ime$405@fg70.rz.uni-karlsruhe.de>#1/1
X-Deja-AN: 202110389
references: <252531213wnr@diphi.demon.co.uk> <dewar.849320173@merv>
 <E1u0nL.L0I@thomsoft.com>
content-type: text/plain; charset=iso-8859-1
organization: =?ISO-8859-1?Q?Universit=E4t_Karlsruhe_(TH),_Germany_?=
mime-version: 1.0
reply-to: Thomas.Koenig@ciw.uni-karlsruhe.de
newsgroups: comp.lang.ada
nntp-posting-user: ig25
Date: 1996-12-03T00:00:00+00:00
List-Id: <comp.lang.ada>


In comp.lang.ada, kst@aonix.com (Keith Thompson) wrote:

>Suppose you've computed two quantities, X and Y, such that X is
>mathematically known to be less than Y, but it may be arbitrarily close.

Just a general note:  Be careful even of this kind of statement unless
you have analyzed your floating point arithmetic and program very
carefully.  Rounding errors can even lead to X>Y.