CVS difference for 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 @@
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
+Assume that the method described in the standard is correct. Let a
+complex number X=0+I. Let an integer n=-1
@@ -58,7 +58,8 @@
-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