From: Mendal@SIERRA.STANFORD.EDU (Geoff Mendal)
Subject: The AFT Attribute
Date: Mon, 15-Sep-86 20:32:59 EDT [thread overview]
Date: Mon Sep 15 20:32:59 1986
Message-ID: <12239247219.20.MENDAL@Sierra.Stanford.EDU> (raw)
Hello Ada Fans,
I'm confused again. In the LRM, 3.5.10(9) states (parenthetically)
that the value of the AFT attribute is the smallest positive N
such that (10 ** N) * T'DELTA >= 1.0. Now, 3.5.10(15) states that
the value returned by AFT depends only on T'DELTA. [3.5.10(15) is
a "note".]
Can these two paragraphs imply a cohesive semantics for the AFT
attribute? Using 3.5.10(9) on the following type:
type Fix is delta 1.0 / 16.0 range 0.0 .. 1.0;
The smallest value N that satisfies the equation is 2. But how can
one represent 1.0 / 16.0 accurately in two decimal digits?
[1.0 / 16.0 = 0.0625]
What am I missing here?
gom
-------
next reply other threads:[~1986-09-16 0:32 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1986-09-16 0:32 Geoff Mendal [this message]
1986-09-22 20:38 ` The AFT Attribute Dale Worley
1986-09-24 5:11 ` Doug Bryan
[not found] <20@<12239247219>
1986-09-22 12:44 ` stt
1986-09-24 15:13 ` stt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox