CVS difference for ai12s/ai12-0208-1.txt

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0208-1.txt

--- ai12s/ai12-0208-1.txt	2018/06/15 00:37:45	1.10
+++ ai12s/ai12-0208-1.txt	2018/06/15 00:42:02	1.11
@@ -1,4 +1,4 @@
-!standard A.5.5(0)                                   18-06-13  AI12-0208-1/03
+!standard A.5.5(0)                                   18-06-14  AI12-0208-1/04
 !standard A.5.6(0)
 !standard A.5.7(0)
 !standard A.5.8(0)
@@ -287,11 +287,6 @@
 propagated in error cases.
 The other functions have their usual mathematical meanings.
 
-Any Big_Rational result R returned by any of these functions satisfies the
-condition
-   (R = 0.0) or else
-   (Greatest_Common_Divisor (Numerator (R), Denominator (R)) = 1).
-
 AARM Note: No Bounded_Big_Rationals generic package is provided.
 
 !discussion
@@ -3425,5 +3420,50 @@
 implement them in Janus/Ada, either). But that's hardly a good reason to not 
 use something when it is appropriate. (I'd probably turn it into a 
 postcondition for Janus/Ada.)
+
+****************************************************************
+
+From: Steve Baird
+Sent: Thursday, June 14, 2018  7:29 PM
+
+> Do we still need the text:
+> 
+> Any Big_Rational result R returned by any of these functions 
+> satisifies the condition
+>     (R = 0.0) or else
+>     (Greatest_Common_Divisor (Numerator (R), Denominator (R)) = 1).
+> 
+> since it is essentially just restating the Type_Invariant. (The 
+> spelling of "satisfies" is interesting, too.;-)
+
+Good point. I agree that we no longer need that text.
+
+> You would use the least used of the contracts.
+
+You should be thanking me for not using the "stable properties" stuff.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, June 14, 2018  7:37 PM
+
+...
+> > You would use the least used of the contracts.
+> 
+> You should be thanking me for not using the "stable properties" stuff.
+
+I was trying to figure out how to implement your type invariant with a 
+stable property function, but that wouldn't work on the function results.
+Anyway, stable properties is extensively used in the containers contracts
+(AI12-0112-1), so I wouldn't mind in the least if you used it.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, June 14, 2018  7:39 PM
+
+> Good point. I agree that we no longer need that text.
+
+OK, I deleted it (making a new AI version).
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent