From: stt@inmet.inmet.com
Subject: Re: Non-static constant propagation in
Date: 10 Jan 90 21:24:00 GMT [thread overview]
Message-ID: <20600033@inmet> (raw)
In-Reply-To: 1735@petsd.UUCP
As Robert Firth said, the point of my joke about SQRT on universals
was exactly that the result is not always a rational number.
The definition of Ada does not currently include any operations on universal
reals which produce irrational results. If we were to add SQRT,
then the cited wording would have to change. I have no expectation
that SQRT will be added to the set of operations defined on
universal reals, by the way...
S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA 02138
P.S. I wouldn't rule out some clever implementation which could
represent all algebraic numbers "exactly", but it would clearly
have to be more complicated than simply a pair of universal
integers as is used for rationals
(probably a tree structure of some sort, requiring symbolic
evaluation, etc).
-T
next prev parent reply other threads:[~1990-01-10 21:24 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1990-01-05 1:37 Non-static constant propagation in optimizing Ada compilers Joe Orost
1990-01-05 21:44 ` Non-static constant propagation in stt
1990-01-08 21:54 ` stt
1990-01-09 13:10 ` Robert Firth
1990-01-10 21:24 ` stt [this message]
-- strict thread matches above, loose matches on Subject: below --
1990-01-10 4:00 Michael Hunter
1990-01-12 5:20 Michael Hunter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox