CVS difference for ais/ai-00156.txt

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

--- ais/ai-00156.txt	2000/08/01 21:39:37	1.9
+++ ais/ai-00156.txt	2000/08/17 19:47:16	1.10
@@ -55,7 +55,7 @@
 Then X**n = 1/i = -i, 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
+but argument(X**n) = argument(-i) = -pi/2.
 
 Obviously, pi/2 is not equal to -pi/2 (even as an angle); i.e. a
 contradiction has been found.

Questions? Ask the ACAA Technical Agent