CVS difference for ais/ai-00156.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00156.txt

--- ais/ai-00156.txt	2000/04/14 01:45:08	1.5
+++ ais/ai-00156.txt	2000/06/20 04:22:43	1.6
@@ -1,4 +1,4 @@
-!standard G.1.1    (55)                               00-04-11  AI95-00156/05
+!standard G.1.1    (55)                               00-06-19  AI95-00156/06
 !class binding interpretation 96-09-04
 !status Corrigendum 2000 99-05-27
 !status WG9 approved 98-06-12
@@ -48,23 +48,20 @@
 
 Here is a proof by example that the given method is incorrect:
 
-assume that the RM95 method is correct.
-let a complex number X=0+i
-let an integer n=-1
+Assume that the RM95 method is correct.  Let a complex number X=0+I.  Let an
+integer n=-1
 
-X**n=1/i
-X**n=(1/i)*(i/i)=(i/-1)=-i
+X**n=1/i=-i
 
-argument(X)=pi/2
-n is negative.  So, according to the RM95,
+argument(X)=pi/2 and n is negative.  So, according to G.1.1(55),
 argument(X**n)=(pi/2)/|-1|=pi/2
 
 but, argument(X**n)=argument(-i)=-pi/2
 
 pi/2 /= -pi/2 (even as an angle) i.e. a contradiction has been found.
 No zero-valued complex numbers were involved (they can mess things up).
-The only dubious assumption made was that the RM95 method was correct.
-So, it must not be.
+The only dubious assumption made was that the method described in G.1.1(55) was
+correct. So, it must not be.
 
 !corrigendum G.01.01(55)
 

Questions? Ask the ACAA Technical Agent