comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: small example, using complex variables in Ada
Date: Thu, 10 Jun 2010 15:27:38 +0200
Date: 2010-06-10T15:27:38+02:00	[thread overview]
Message-ID: <huqp8l$m5s$1@news.eternal-september.org> (raw)
In-Reply-To: <op.vd2zoliyxmjfy8@garhos>

Yannick Duchï¿œne (Hibou57) a ï¿œcrit :
>>> It would be good to state the theoretically correct answer; I hope it's
>>> 1.5, not 1.499... :).
>> Note that they are mathematically equal (with an inifinite number of 9s)
> I'm not using so called Reals, so I am not at ease with details in this
> area: is it specified by the Ada standard or by the IEEE standard ? (I
> know Ada follows IEEE standard, while may be Ada adds some extra stuff
> there)
For output, rounding is specified in the standard. And BTW, the standard
does not specify IEEE (fortunately, it did not make the same mistake as
Java!). It just makes sure that it is not incompatible with IEEE
arithmetic, and does provide some facilities for handling signed zeroes,
which are present in IEEE, but maybe also provided by other models.

> Humor: where did you ever see an infinite sequence in a computer ?
> (except in a never-ending loop)
> 
I said "mathematically", because of the "..." that followed the last
'9'. But for computers, anybody doing some number crunching should know
that computations are not exact, and that 1.49* should be considered the
same as 1.5

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr



  reply	other threads:[~2010-06-10 13:27 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-09 10:49 small example, using complex variables in Ada Nasser M. Abbasi
2010-06-09 11:26 ` Ludovic Brenta
2010-06-09 23:50   ` Jerry
2010-06-10  1:03     ` Jeffrey R. Carter
2010-06-10 15:48   ` Colin Paul Gloster
2010-06-10 14:54     ` Ludovic Brenta
2010-06-10 16:21       ` Colin Paul Gloster
2010-06-10 17:37         ` Adam Beneschan
2010-06-10 17:57         ` Jeffrey R. Carter
2010-06-10 22:32           ` Randy Brukardt
2010-06-11 12:42             ` Colin Paul Gloster
2010-06-11 18:59               ` Randy Brukardt
2010-06-14 19:19                 ` Colin Paul Gloster
2010-06-14 19:48                   ` Nasser M. Abbasi
2010-06-17  7:44     ` Gautier write-only
2010-06-17 10:33       ` Colin Paul Gloster
2010-06-17 14:39       ` Yannick Duchêne (Hibou57)
2010-06-17 16:36         ` Colin Paul Gloster
2010-06-09 12:43 ` Niklas Holsti
2010-06-10  7:23 ` Stephen Leake
2010-06-10  9:12   ` J-P. Rosen
2010-06-10 11:03     ` Yannick Duchêne (Hibou57)
2010-06-10 13:27       ` J-P. Rosen [this message]
2010-06-10 21:15         ` Yannick Duchêne (Hibou57)
2010-06-11  7:22           ` Dmitry A. Kazakov
2010-06-11  8:48           ` J-P. Rosen
2010-06-11 12:00             ` Brian Drummond
2010-06-10  9:34   ` Nasser M. Abbasi
2010-06-10 20:12     ` Simon Wright
2010-06-14  9:33 ` Vincent LAFAGE
2010-06-14 12:29   ` Nasser M. Abbasi
2010-06-14 13:00     ` Vincent LAFAGE
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox