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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 109d8a,c7637cfdf68e766
X-Google-Attributes: gid109d8a,public
X-Google-Thread: f43e6,c7637cfdf68e766
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 107079,c7637cfdf68e766
X-Google-Attributes: gid107079,public
X-Google-Thread: 103376,c7637cfdf68e766
X-Google-Attributes: gid103376,public
X-Google-Thread: f8362,c7637cfdf68e766
X-Google-Attributes: gidf8362,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: floating point comparison
Date: 1997/08/29
Message-ID: <dewar.872873430@merv>#1/1
X-Deja-AN: 268992361
Distribution: inet
References: <dewar.872196651@merv> <5tk5he$7rq$1@news.fsu.edu>
 <dewar.872304565@merv> <5tnreu$9ac$1@news.fsu.edu> <dewar.872395110@merv>
 <5u58oc$k096_002@ioffe.rssi.ru>
Organization: New York University
Newsgroups: 
 comp.lang.ada,sci.math.num-analysis,comp.software-eng,comp.theory,sci.math
Date: 1997-08-29T00:00:00+00:00
List-Id: <comp.lang.ada>


<<The next step in error analysis is to suggest that a binary (i.e.
involving two terms or factors) operation, the operands of which
are in the floating-point domain, is performed exact and the final
result is rounded ( * stands for any binary operation)

              fl(x*y) = (x*y)(1 + delta)

This way eliminates any difference between so-called "real" numbers
and "fp" numbers whose are simply subset of the former more wide set,
and by no means are somewhat "artificial" or "unreal". Complete>>


Yes, I think we all know this :-)

I do not think we need an elementary lesson in error analysis here, especially
one so simplistic as the one you gave. That is not the issue that we are
discussing!

As yoy say this material can be read in many text books (I have used many
of them to teach courses in numerical analysis and floating point
computation, and found good ones, although my awareness of such books
is a bit out of date now, it is a while since I taught NA :-)