CVS difference for ais/ai-00156.txt

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

--- ais/ai-00156.txt	2000/06/20 04:22:43	1.6
+++ ais/ai-00156.txt	2000/07/13 04:31:29	1.7
@@ -24,7 +24,7 @@
 !question
 
 G.1.1(55) gives the following method for doing complex exponentiation
-in polar form in G.1.1(55):
+in polar form:
 
     ... exponentiating the modulus by the given exponent; multiplying
     the argument by the given exponent, when the exponent is positive,
@@ -48,8 +48,8 @@
 
 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 method described in the standard is correct.  Let a
+complex number X=0+I.  Let an integer n=-1
 
 X**n=1/i=-i
 
@@ -58,7 +58,8 @@
 
 but, argument(X**n)=argument(-i)=-pi/2
 
-pi/2 /= -pi/2 (even as an angle) i.e. a contradiction has been found.
+Obviously, pi/2 is not equal to -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 method described in G.1.1(55) was
 correct. So, it must not be.

Questions? Ask the ACAA Technical Agent