CVS difference for ais/ai-00256.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-00256.txt

--- ais/ai-00256.txt	2005/06/16 23:47:18	1.16
+++ ais/ai-00256.txt	2005/10/31 05:18:19	1.17
@@ -1,4 +1,4 @@
-!standard 13.11.01 (01)                                04-11-07  AI95-00256/09
+!standard 13.11.01 (01)                                05-10-07  AI95-00256/10
 !standard  A.12.01 (30)
 !standard  G.02.02 (03)
 !standard  7.06.01 (12)
@@ -277,7 +277,7 @@
 @drepl
 @xindent<Yields the number of digits in the mantissa of the canonical form of the model
 numbers of @i<T> (see A.5.3). The value of this attribute shall be greater
-than or equal to @i<Ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + 1,
+than or equal to @i<Ceiling>(@i<d> * log(10) / log(@i<T>'Machine_Radix)) + 1,
 where @i<d> is the requested decimal precision of @i<T>. In addition, it shall
 be less than or equal to the value of @i<T>'Machine_Mantissa. This attribute
 yields a value of the type @i<universal_integer>.>
@@ -285,9 +285,10 @@
 @xindent<Yields the number of digits in the mantissa of the canonical form of the model
 numbers of @i<T> (see A.5.3). The value of this attribute shall be greater
 than or equal to>
-@xcode<    @i<ceiling>(@i<d> * log(10) / log(T'Machine_Radix)) + @i<g>>
-@xindent<where @i<d> is the requested decimal precision of @i<T>, and @i<g> is 0 if
-Machine_Radix is a positive power of 10 and 1 otherwise. In addition, it shall
+@xcode<    @i<Ceiling>(@i<d> * log(10) / log(@i<T>'Machine_Radix)) + @i<g>>
+@xindent<where @i<d> is the requested decimal precision of @i<T>, and @i<g> is
+0 if @i<T>'Machine_Radix is a positive power of 10 and 1 otherwise. In addition,
+@i<T>'Model_Mantissa shall
 be less than or equal to the value of @i<T>'Machine_Mantissa. This attribute
 yields a value of the type @i<universal_integer>.>
 

Questions? Ask the ACAA Technical Agent