CVS difference for ai12s/ai12-0125-3.txt

--- ai12s/ai12-0125-3.txt	2016/08/19 03:03:15	1.10
+++ ai12s/ai12-0125-3.txt	2016/08/20 00:04:58	1.11
@@ -1,4 +1,4 @@
-!standard 5.2.1(0)                                 16-08-18  AI12-0125-3/06
+!standard 5.2.1(0)                                 16-08-19  AI12-0125-3/07
 !standard 2.2(9)
 !standard 3.3(21.1/3)
 !standard 4.1(2/3)
@@ -134,7 +134,7 @@
     ...
     -- Square the element in the Count (see 3.3.1) position:
     My_Complex_Array (Count) := (Re => @.Re**2 - @.Im**2,
-                                 Im => -2.0 * @.Re * @.Im);
+                                 Im => 2.0 * @.Re * @.Im);
        -- A target_name can be used multiple times and as a prefix if needed.
 
 
@@ -437,10 +437,10 @@
                        -- @ft<@i<(Board is declared in 3.6.1).>>>
 
 @xcode<My_Complex_Array : @b<array> (1 .. Max) @b<of> Complex; -- @ft<@i<See 3.3.2, 3.8.>>
-    ...
-    -- @ft<@i<Square the element in the Count (see 3.3.1) position:>>
-    My_Complex_Array (Count) := (Re => @@.Re**2 - @@.Im**2,
-                                 Im => -2.0 * @@.Re * @@.Im);
+...
+-- @ft<@i<Square the element in the Count (see 3.3.1) position:>>
+My_Complex_Array (Count) := (Re =@> @@.Re**2 - @@.Im**2,
+                             Im =@> 2.0 * @@.Re * @@.Im);
    -- @ft<@i<A target_name can be used multiple times and as a prefix if needed.>>>
 
 !corrigendum 8.6(9/4)
@@ -453,7 +453,7 @@
 
 !ASIS
 
-** TBD **
+Some query is needed, details to follow.
 
 !ACATS Tests
 
@@ -3552,3 +3552,39 @@
 
 ****************************************************************
 
+From: Jeff Cousins
+Sent: Friday, August 19, 2016  2:20 AM
+
+Thanks. But is A actually correct? Why did I put a - before the 2.0?
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Friday, August 19, 2016  2:43 PM
+
+After wasting 20 minutes reading articles about complex numbers, I've concluded
+that you are right that you are wrong. :-)
+
+Wikipedia gives the formula for multiplication as:
+
+  (a + bi)*(c + di) = (ac - bd) + (ad + bc)i
+
+If a = c and b = d, then we get
+   a**2 - b**2 + 2.0*a*b*I
+
+So you have an extra minus sign in your example.
+
+(Most of the hits I got to the query "square complex number" finds articles about
+something called an "absolute square" which is something different -- it's real
+valued (not complex).)
+
+I'll fix this.
+
+****************************************************************
+
+From: Jeff Cousins
+Sent: Friday, August 19, 2016  3:01 PM
+
+Thanks Randy. Maybe we should all go back to school to revise our math(s)!
+
+****************************************************************