# 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