Update docs and comments.

Author: sangwinc

doc/en/Developer/Development_track.md

@@ -8,6 +8,7 @@ We use the [github issue tracker](https://github.com/maths/moodle-qtype_stack/is
 ## Version 4.15.0
 
 1. Improve `ATSet` by using `algebraic_equivalence` for pairwise compasions.  Fix to issue #1931.
+2. Add in support for complex arguments to vector functions. Fix to issue #1944.
 
 Issues with [github milestone 4.15.0](https://github.com/maths/moodle-qtype_stack/issues?q=is%3Aissue+milestone%3A4.15.0) include
 

stack/maxima/maximasrccompiled_tests.mac

@@ -376,113 +376,113 @@ s_exec_test("linearalgebra/predicates/algebraic_predicates.mac:137",35)$
 s_test_case(simp):=is(diagonalizablep(matrix([1,1,0],[0,1,0],[0,0,2])) = false)$
 s_exec_test("linearalgebra/predicates/algebraic_predicates.mac:138",36)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[1,-1],[1,0])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:60",1)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:61",1)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1/sqrt(3),1/sqrt(2)],[1/sqrt(3),-1/sqrt(2)],[1/sqrt(3),0])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:61",2)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:62",2)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[1,2],[1,0])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:62",3)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:63",3)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[1,-1])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:63",4)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:64",4)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[1,-1])/sqrt(2)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:64",5)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:65",5)$
 s_test_case(simp):=is(orthogonal_columnsp(1) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:65",6)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:66",6)$
 s_test_case(simp):=is(orthogonal_columnsp([c(1,0),c(0,1)]) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:66",7)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:67",7)$
 s_test_case(simp):=is(orthogonal_columnsp([c(1,0),c(0,1,0)]) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:67",8)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:68",8)$
 s_test_case(simp):=is(orthogonal_columnsp(ident(2)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:68",9)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:69",9)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([2,1],[2,-1])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:69",10)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:70",10)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([2,1],[2,-1]),ident(2)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:70",11)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:71",11)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1/2],[0,1])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:71",12)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:72",12)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1/2],[0,1]),matrix([2,-1],[-1,2])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:72",13)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:73",13)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1/sqrt(2),1/(sqrt(2)*sqrt(3))],[0,sqrt(2)/sqrt(3)]),matrix([2,-1],[-1,2])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:73",14)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:74",14)$
 s_test_case(simp):=is(orthogonal_columnsp(ident(2),matrix([2,-1],[-1,2])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:74",15)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:75",15)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1,1],[1,-1],[1,0])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:96",16)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:97",16)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1/sqrt(3),1/sqrt(2)],[1/sqrt(3),-1/sqrt(2)],[1/sqrt(3),0])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:97",17)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:98",17)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1,1],[1,-1])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:98",18)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:99",18)$
 s_test_case(simp):=is(orthonormal_columnsp(ev(matrix([1,1],[1,-1])/sqrt(2),simp)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:99",19)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:100",19)$
 s_test_case(simp):=is(orthonormal_columnsp(1) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:100",20)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:101",20)$
 s_test_case(simp):=is(orthonormal_columnsp([c(1,0),c(0,1)]) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:101",21)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:102",21)$
 s_test_case(simp):=is(orthonormal_columnsp([c(1,0),c(0,1,0)]) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:102",22)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:103",22)$
 s_test_case(simp):=is(orthonormal_columnsp(ident(2)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:103",23)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:104",23)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([2,1],[2,-1])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:104",24)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:105",24)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1,1/2],[0,1]),matrix([2,-1],[-1,2])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:105",25)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:106",25)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1/sqrt(2),1/(sqrt(2)*sqrt(3))],[0,sqrt(2)/sqrt(3)]),matrix([2,-1],[-1,2])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:106",26)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:107",26)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1/sqrt(2),1/(sqrt(2)*sqrt(3))],[0,sqrt(2)/sqrt(3)]),lambda([w,v],transpose(w) . matrix([2,-1],[-1,2]) . v)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:107",27)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:108",27)$
 s_test_case(simp):=is(orth_matrixp(matrix([1,1],[1,-1],[1,0])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:121",28)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:122",28)$
 s_test_case(simp):=is(orth_matrixp(matrix([1/sqrt(3),1/sqrt(2)],[1/sqrt(3),-1/sqrt(2)],[1/sqrt(3),0])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:122",29)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:123",29)$
 s_test_case(simp):=is(orth_matrixp(matrix([1,1],[1,-1])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:123",30)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:124",30)$
 s_test_case(simp):=is(orth_matrixp(ev(matrix([1,1],[1,-1])/sqrt(2),simp)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:124",31)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:125",31)$
 s_test_case(simp):=is(orth_matrixp(1) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:125",32)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:126",32)$
 s_test_case(simp):=block([M:"untouched",checkmat:"untouched"],orthogonal_columnsp(ident(2)),is(M = "untouched" and checkmat = "untouched"))$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:128",33)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:129",33)$
 s_test_case(simp):=block([M:"untouched",checkmat:"untouched"],orthonormal_columnsp(ident(2)),is(M = "untouched" and checkmat = "untouched"))$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:130",34)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:131",34)$
 s_test_case(simp):=is(orth_matrixp([c(1,0),c(0,1)]) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:132",35)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:133",35)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,0],[0,0])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:133",36)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:134",36)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1,0],[0,0])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:134",37)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:135",37)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[0,1]),matrix([1,-1],[-1,2])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:135",38)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:136",38)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1,1],[0,1]),matrix([1,-1],[-1,2])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:136",39)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:137",39)$
 s_test_case(simp):=is(orth_matrixp(matrix([0,-1],[1,0])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:137",40)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:138",40)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1+%i],[1-%i])/2) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:140",41)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:141",41)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1/sqrt(2),%i/sqrt(2)],[%i/sqrt(2),1/sqrt(2)])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:141",42)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:142",42)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([sqrt(2)],[%i])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:142",43)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:143",43)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([sqrt(2),%i],[%i,-sqrt(2)])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:143",44)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:144",44)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[%i,-%i])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:144",45)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:145",45)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,%i],[%i,1])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:145",46)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:146",46)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1,1],[%i,%i])) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:146",47)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:147",47)$
 s_test_case(simp):=is(orth_matrixp(ev(matrix([1,%i],[%i,1])/sqrt(2),simp)) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:147",48)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:148",48)$
 s_test_case(simp):=is(orth_matrixp(ev(matrix([1,%i],[-%i,1])/sqrt(2),simp)) = false)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:148",49)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:149",49)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1],[%i])/sqrt(3),matrix([2,0],[0,1])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:149",50)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:150",50)$
 s_test_case(simp):=is(orthonormal_columnsp(matrix([1],[0])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:151",51)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:152",51)$
 s_test_case(simp):=is(orthonormal_columnsp([c(3/5,4/5)]) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:152",52)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:153",52)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([1],[2])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:153",53)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:154",53)$
 s_test_case(simp):=is(orthogonal_columnsp(matrix([a,1],[1,-a])) = true)$
-s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:155",54)$
+s_exec_test("linearalgebra/predicates/orthogonal_predicates.mac:156",54)$
 s_test_case(simp):=is(col_vecp(matrix([1],[2])) = true)$
 s_exec_test("linearalgebra/predicates/shape_predicates.mac:37",1)$
 s_test_case(simp):=is(col_vecp(matrix([1,2])) = false)$

stack/maximasrc/linearalgebra/predicates/orthogonal_predicates.mac

@@ -18,6 +18,7 @@
 
 
 _orthogonal_check_matrix(M, [sp]):= block([dim, G],
+    /* @ignore[global=%i] */
     /* sp is also used as a function; expand and ratsimp are ev operators.
        @ignore[rename=sp]
        @ignore[global=expand]