From: Hyman Rosen <hyrosen@mail.com>
Subject: Re: New limited range type?
Date: Wed, 12 Nov 2003 10:00:22 -0500
Date: 2003-11-12T10:00:22-05:00 [thread overview]
Message-ID: <1068649222.351052@master.nyc.kbcfp.com> (raw)
In-Reply-To: <jsatob.i6f.ln@skymaster>
Jean-Pierre Rosen wrote:
> Nope.
> Ada does not define "evaluation order", but it does define associativity.
> A+B-C is definitely (A+B) - C
But in floating arithmetic, A + B - C may produce the numerically
correct result even if A + B by itself would overflow. Would this
need to be changed for saturating arithmetic? If A + B would saturate
but A + B - C (in ordinary arithmetic) would not, should the result
be required to be UPPER_LIMIT - C?
next prev parent reply other threads:[~2003-11-12 15:00 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-11-07 15:51 New limited range type? Martin Dowie
2003-11-07 15:57 ` Hyman Rosen
2003-11-07 16:20 ` Martin Dowie
2003-11-07 16:36 ` Stephane Richard
2003-11-07 16:59 ` Hyman Rosen
2003-11-07 18:18 ` Martin Dowie
2003-11-07 20:11 ` Larry Hazel
2003-11-07 22:40 ` Martin Dowie
2003-11-07 23:31 ` Larry Hazel
2003-11-12 8:22 ` Jean-Pierre Rosen
2003-11-12 15:00 ` Hyman Rosen [this message]
2003-11-12 15:34 ` Robert I. Eachus
2003-11-12 17:37 ` tmoran
2003-11-07 18:19 ` Mike Silva
2003-11-07 19:03 ` Marin David Condic
2003-11-07 18:05 ` Mike Silva
2003-11-08 21:58 ` Nick Roberts
2003-11-09 14:34 ` Martin Dowie
2003-11-11 5:13 ` Nick Roberts
2003-11-11 10:18 ` Martin Dowie
2003-11-11 10:35 ` Martin Dowie
2003-11-11 10:41 ` Lutz Donnerhacke
2003-11-11 12:37 ` Marin David Condic
2003-11-11 14:19 ` Martin Dowie
2003-11-11 12:34 ` Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox