Adding or substracting the empty matrix now return an empty matrix
[scilab.git] / scilab / modules / ast / tests / unit_tests / addition.tst
1 // ============================================================================
2 // Scilab ( http://www.scilab.org/ ) - This file is part of Scilab
3 // Copyright (C) 2012 - DIGITEO - Antoine ELIAS
4 //
5 //  This file is distributed under the same license as the Scilab package.
6 // ============================================================================
7
8 // <-- CLI SHELL MODE -->
9
10 s = %s;
11 empty = [];
12 r = 2;
13 R = [1,2;3,4];
14 R3(:,:,1) = R;
15 R3(:,:,2) = R';
16 c = 1 + 2*%i;
17 C = [1+2*%i,2+4*%i;3+6*%i,4+8*%i];
18 C3(:,:,1) = C;
19 C3(:,:,2) = C';
20 e = eye();
21 ec = (5+%i) * eye();
22 p = 1 + %s - %s**2;
23 pc = 1 + %s - %s**2 + ( 2 - 3 * %s + 4 * %s**2 ) * %i;
24 P = [2*p, -3*p;4*p,-5*p];
25 PC = [2*pc, -3*pc;4*pc,-5*pc];
26 SP = sparse([1,2;4,5;3,10],[1,2,3]);
27 SPC = sparse([1,2;4,5;3,10],[1,2,3]) * ( 1 + 4*%i);
28
29 i8 = int8(-8);
30 ui8 = uint8(8);
31 I8 = int8([-8 -16 ; -24 -32]);
32 UI8 = uint8([8 16 ; 24 32]);
33
34 I16 = int16([-16 -32 ; -48 -64]);
35 UI16 = uint16([16 32 ; 48 64]);
36 i16 = int16(-16);
37 ui16 = uint16(16);
38
39 i32 = int32(-32);
40 ui32 = uint32(32);
41 I32 = int32([-32 -64 ; -96 -128]);
42 UI32 = uint32([32 64 ; 96 128]);
43
44 str = "string";
45 STR = ["string1" "string2";"string3" "string4"];
46
47 assert_checkequal(empty + empty, []);
48 assert_checkequal(empty + r, []);
49 assert_checkequal(empty + c,  empty);
50 assert_checkequal(empty + R, []);
51 assert_checkequal(empty + C, []);
52 assert_checkequal(empty + e, []);
53 assert_checkequal(empty + ec, []);
54 assert_checkequal(empty + p, []);
55 assert_checkequal(empty + pc, []);
56 assert_checkequal(empty + P, []);
57 assert_checkequal(empty + PC, []);
58 assert_checkequal(empty + SP, []);
59 assert_checkequal(empty + SPC, []);
60 assert_checkequal(empty + i8, []);
61 assert_checkequal(empty + I8, []);
62 assert_checkequal(empty + ui8, []);
63 assert_checkequal(empty + UI8, []);
64 assert_checkequal(empty + i16, []);
65 assert_checkequal(empty + I16, []);
66 assert_checkequal(empty + ui16, []);
67 assert_checkequal(empty + UI16, []);
68 assert_checkequal(empty + i32, []);
69 assert_checkequal(empty + I32, []);
70 assert_checkequal(empty + ui32, []);
71 assert_checkequal(empty + UI32, []);
72
73 assert_checkequal(r + empty, []);
74 assert_checkequal(r + r, 4);
75 assert_checkequal(r + c,  3+%i*2);
76 assert_checkequal(r + R, [3,4;5,6]);
77 assert_checkequal(r + C, [ 3+%i*2, 4+%i*4; 5+%i*6, 6+%i*8]);
78 assert_checkequal(r + e, 3);
79 assert_checkequal(r + ec,  7+%i);
80 assert_checkequal(r + p, 3+s-s^2);
81 assert_checkequal(r + pc, 3+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2);
82 assert_checkequal(r + P, [4+2*s-2*s^2,-1-3*s+3*s^2;6+4*s-4*s^2,-3-5*s+5*s^2]);
83 assert_checkequal(r + PC, [4+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2,-1-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;6+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-3-%i*10+(-5+%i*15)*s+(5-%i*20)*s^2]);
84 assert_checkequal(r + SP, [2,3,2,2,2,2,2,2,2,2;2,2,2,2,2,2,2,2,2,2;2,2,2,2,2,2,2,2,2,5;2,2,2,2,4,2,2,2,2,2]);
85 assert_checkequal(r + SPC, [ 2, 3+%i*4, 2, 2, 2, 2, 2, 2, 2, 2; 2, 2, 2, 2, 2, 2, 2, 2, 2, 2; 2, 2, 2, 2, 2, 2, 2, 2, 2, 5+%i*12; 2, 2, 2, 2, 4+%i*8, 2, 2, 2, 2, 2]);
86 assert_checkequal(r + i8, int8(-6));
87 assert_checkequal(r + I8, int8([-6,-14;-22,-30]));
88 assert_checkequal(r + ui8, uint8(10));
89 assert_checkequal(r + UI8, uint8([10,18;26,34]));
90 assert_checkequal(r + i16, int16(-14));
91 assert_checkequal(r + I16, int16([-14,-30;-46,-62]));
92 assert_checkequal(r + ui16, uint16(18));
93 assert_checkequal(r + UI16, uint16([18,34;50,66]));
94 assert_checkequal(r + i32, int32(-30));
95 assert_checkequal(r + I32, int32([-30,-62;-94,-126]));
96 assert_checkequal(r + ui32, uint32(34));
97 assert_checkequal(r + UI32, uint32([34,66;98,130]));
98
99 assert_checkequal(c + empty,  empty);
100 assert_checkequal(c + r,  3+%i*2);
101 assert_checkequal(c + c,  2+%i*4);
102 assert_checkequal(c + R, [ 2+%i*2, 3+%i*2; 4+%i*2, 5+%i*2]);
103 assert_checkequal(c + C, [ 2+%i*4, 3+%i*6; 4+%i*8, 5+%i*10]);
104 assert_checkequal(c + e,  2+%i*2);
105 assert_checkequal(c + ec,  6+%i*3);
106 assert_checkequal(c + p, 2+%i*2+s-s^2);
107 assert_checkequal(c + pc, 2+%i*4+(1-%i*3)*s+(-1+%i*4)*s^2);
108 assert_checkequal(c + P, [3+%i*2+2*s-2*s^2,-2+%i*2-3*s+3*s^2;5+%i*2+4*s-4*s^2,-4+%i*2-5*s+5*s^2]);
109 assert_checkequal(c + PC, [3+%i*6+(2-%i*6)*s+(-2+%i*8)*s^2,-2-%i*4+(-3+%i*9)*s+(3-%i*12)*s^2;5+%i*10+(4-%i*12)*s+(-4+%i*16)*s^2,-4-%i*8+(-5+%i*15)*s+(5-%i*20)*s^2]);
110 assert_checkequal(c + SP, [ 1+%i*2, 2+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 4+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 3+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2]);
111 assert_checkequal(c + SPC, [ 1+%i*2, 2+%i*6, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 4+%i*14; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 3+%i*10, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2]);
112
113 assert_checkequal(R + empty, []);
114 assert_checkequal(R + r, [3,4;5,6]);
115 assert_checkequal(R + c, [ 2+%i*2, 3+%i*2; 4+%i*2, 5+%i*2]);
116 assert_checkequal(R + R, [2,4;6,8]);
117 assert_checkequal(R + C, [ 2+%i*2, 4+%i*4; 6+%i*6, 8+%i*8]);
118 assert_checkequal(R + e, [2,2;3,5]);
119 assert_checkequal(R + ec, [ 6+%i, 2; 3, 9+%i]);
120 assert_checkequal(R + p, [2+s-s^2,3+s-s^2;4+s-s^2,5+s-s^2]);
121 assert_checkequal(R + pc, [2+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2,3+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2;4+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2,5+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2]);
122 assert_checkequal(R + P, [3+2*s-2*s^2,-1-3*s+3*s^2;7+4*s-4*s^2,-1-5*s+5*s^2]);
123 assert_checkequal(R + PC, [3+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2,-1-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;7+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-1-%i*10+(-5+%i*15)*s+(5-%i*20)*s^2]);
124 assert_checkequal(R + i8, int8([-7,-6;-5,-4]));
125 assert_checkequal(R + I8, int8([-7,-14;-21,-28]));
126 assert_checkequal(R + ui8, uint8([9,10;11,12]));
127 assert_checkequal(R + UI8, uint8([9,18;27,36]));
128 assert_checkequal(R + i16, int16([-15,-14;-13,-12]));
129 assert_checkequal(R + I16, int16([-15,-30;-45,-60]));
130 assert_checkequal(R + ui16, uint16([17,18;19,20]));
131 assert_checkequal(R + UI16, uint16([17,34;51,68]));
132 assert_checkequal(R + i32, int32([-31,-30;-29,-28]));
133 assert_checkequal(R + I32, int32([-31,-62;-93,-124]));
134 assert_checkequal(R + ui32, uint32([33,34;35,36]));
135 assert_checkequal(R + UI32, uint32([33,66;99,132]));
136
137 assert_checkequal(C + empty, []);
138 assert_checkequal(C + r, [ 3+%i*2, 4+%i*4; 5+%i*6, 6+%i*8]);
139 assert_checkequal(C + c, [ 2+%i*4, 3+%i*6; 4+%i*8, 5+%i*10]);
140 assert_checkequal(C + R, [ 2+%i*2, 4+%i*4; 6+%i*6, 8+%i*8]);
141 assert_checkequal(C + C, [ 2+%i*4, 4+%i*8; 6+%i*12, 8+%i*16]);
142 assert_checkequal(C + e, [ 2+%i*2, 2+%i*4; 3+%i*6, 5+%i*8]);
143 assert_checkequal(C + ec, [ 6+%i*3, 2+%i*4; 3+%i*6, 9+%i*9]);
144 assert_checkequal(C + p, [2+%i*2+s-s^2,3+%i*4+s-s^2;4+%i*6+s-s^2,5+%i*8+s-s^2]);
145 assert_checkequal(C + pc, [2+%i*4+(1-%i*3)*s+(-1+%i*4)*s^2,3+%i*6+(1-%i*3)*s+(-1+%i*4)*s^2;4+%i*8+(1-%i*3)*s+(-1+%i*4)*s^2,5+%i*10+(1-%i*3)*s+(-1+%i*4)*s^2]);
146 assert_checkequal(C + P, [3+%i*2+2*s-2*s^2,-1+%i*4-3*s+3*s^2;7+%i*6+4*s-4*s^2,-1+%i*8-5*s+5*s^2]);
147 assert_checkequal(C + PC, [3+%i*6+(2-%i*6)*s+(-2+%i*8)*s^2,-1-%i*2+(-3+%i*9)*s+(3-%i*12)*s^2;7+%i*14+(4-%i*12)*s+(-4+%i*16)*s^2,-1-%i*2+(-5+%i*15)*s+(5-%i*20)*s^2]);
148
149 assert_checkequal(e + empty, []);
150 assert_checkequal(e + r, 3);
151 assert_checkequal(e + c,  2+%i*2);
152 assert_checkequal(e + R, [2,2;3,5]);
153 assert_checkequal(e + C, [ 2+%i*2, 2+%i*4; 3+%i*6, 5+%i*8]);
154 assert_checkequal(e + e, (2)*eye());
155 assert_checkequal(e + ec, ( 6+%i)*eye());
156 assert_checkequal(e + p, 2+s-s^2);
157 assert_checkequal(e + pc, 2+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2);
158 assert_checkequal(e + P, [3+2*s-2*s^2,-3-3*s+3*s^2;4+4*s-4*s^2,-4-5*s+5*s^2]);
159 assert_checkequal(e + PC, [3+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2,-3-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;4+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-4-%i*10+(-5+%i*15)*s+(5-%i*20)*s^2]);
160 assert_checkequal(e + SP, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[1;1;1;1;3;1;2],[4,10]));
161 assert_checkequal(e + SPC, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[ 1; 1+%i*4; 1; 1; 3+%i*12; 1; 2+%i*8],[4,10]));
162
163 assert_checkequal(ec + empty, []);
164 assert_checkequal(ec + r,  7+%i);
165 assert_checkequal(ec + c,  6+%i*3);
166 assert_checkequal(ec + R, [ 6+%i, 2; 3, 9+%i]);
167 assert_checkequal(ec + C, [ 6+%i*3, 2+%i*4; 3+%i*6, 9+%i*9]);
168 assert_checkequal(ec + e, ( 6+%i)*eye());
169 assert_checkequal(ec + ec, ( 10+%i*2)*eye());
170 assert_checkequal(ec + p, 6+%i+s-s^2);
171 assert_checkequal(ec + pc, 6+%i*3+(1-%i*3)*s+(-1+%i*4)*s^2);
172 assert_checkequal(ec + P, [7+%i+2*s-2*s^2,-3-3*s+3*s^2;4+4*s-4*s^2,%i-5*s+5*s^2]);
173 assert_checkequal(ec + PC, [7+%i*5+(2-%i*6)*s+(-2+%i*8)*s^2,-3-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;4+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-%i*9+(-5+%i*15)*s+(5-%i*20)*s^2]);
174 assert_checkequal(ec + SP, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[ 5+%i; 1; 5+%i; 5+%i; 3; 5+%i; 2],[4,10]));
175 assert_checkequal(ec + SPC, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[ 5+%i; 1+%i*4; 5+%i; 5+%i; 3+%i*12; 5+%i; 2+%i*8],[4,10]));
176
177 assert_checkequal(p + empty, []);
178 assert_checkequal(p + r, 3+s-s^2);
179 assert_checkequal(p + c, 2+%i*2+s-s^2);
180 assert_checkequal(p + R, [2+s-s^2,3+s-s^2;4+s-s^2,5+s-s^2]);
181 assert_checkequal(p + C, [2+%i*2+s-s^2,3+%i*4+s-s^2;4+%i*6+s-s^2,5+%i*8+s-s^2]);
182 assert_checkequal(p + e, 2+s-s^2);
183 assert_checkequal(p + ec, 6+%i+s-s^2);
184 assert_checkequal(p + p, 2+2*s-2*s^2);
185 assert_checkequal(p + pc, 2+%i*2+(2-%i*3)*s+(-2+%i*4)*s^2);
186 assert_checkequal(p + P, [3+3*s-3*s^2,-2-2*s+2*s^2;5+5*s-5*s^2,-4-4*s+4*s^2]);
187 assert_checkequal(p + PC, [3+%i*4+(3-%i*6)*s+(-3+%i*8)*s^2,-2-%i*6+(-2+%i*9)*s+(2-%i*12)*s^2;5+%i*8+(5-%i*12)*s+(-5+%i*16)*s^2,-4-%i*10+(-4+%i*15)*s+(4-%i*20)*s^2]);
188
189 assert_checkequal(pc + empty, []);
190 assert_checkequal(pc + r, 3+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2);
191 assert_checkequal(pc + c, 2+%i*4+(1-%i*3)*s+(-1+%i*4)*s^2);
192 assert_checkequal(pc + R, [2+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2,3+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2;4+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2,5+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2]);
193 assert_checkequal(pc + C, [2+%i*4+(1-%i*3)*s+(-1+%i*4)*s^2,3+%i*6+(1-%i*3)*s+(-1+%i*4)*s^2;4+%i*8+(1-%i*3)*s+(-1+%i*4)*s^2,5+%i*10+(1-%i*3)*s+(-1+%i*4)*s^2]);
194 assert_checkequal(pc + e, 2+%i*2+(1-%i*3)*s+(-1+%i*4)*s^2);
195 assert_checkequal(pc + ec, 6+%i*3+(1-%i*3)*s+(-1+%i*4)*s^2);
196 assert_checkequal(pc + p, 2+%i*2+(2-%i*3)*s+(-2+%i*4)*s^2);
197 assert_checkequal(pc + pc, 2+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2);
198 assert_checkequal(pc + P, [3+%i*2+(3-%i*3)*s+(-3+%i*4)*s^2,-2+%i*2+(-2-%i*3)*s+(2+%i*4)*s^2;5+%i*2+(5-%i*3)*s+(-5+%i*4)*s^2,-4+%i*2+(-4-%i*3)*s+(4+%i*4)*s^2]);
199 assert_checkequal(pc + PC, [3+%i*6+(3-%i*9)*s+(-3+%i*12)*s^2,-2-%i*4+(-2+%i*6)*s+(2-%i*8)*s^2;5+%i*10+(5-%i*15)*s+(-5+%i*20)*s^2,-4-%i*8+(-4+%i*12)*s+(4-%i*16)*s^2]);
200
201 assert_checkequal(P + empty, []);
202 assert_checkequal(P + r, [4+2*s-2*s^2,-1-3*s+3*s^2;6+4*s-4*s^2,-3-5*s+5*s^2]);
203 assert_checkequal(P + c, [3+%i*2+2*s-2*s^2,-2+%i*2-3*s+3*s^2;5+%i*2+4*s-4*s^2,-4+%i*2-5*s+5*s^2]);
204 assert_checkequal(P + R, [3+2*s-2*s^2,-1-3*s+3*s^2;7+4*s-4*s^2,-1-5*s+5*s^2]);
205 assert_checkequal(P + C, [3+%i*2+2*s-2*s^2,-1+%i*4-3*s+3*s^2;7+%i*6+4*s-4*s^2,-1+%i*8-5*s+5*s^2]);
206 assert_checkequal(P + e, [3+2*s-2*s^2,-3-3*s+3*s^2;4+4*s-4*s^2,-4-5*s+5*s^2]);
207 assert_checkequal(P + ec, [7+%i+2*s-2*s^2,-3-3*s+3*s^2;4+4*s-4*s^2,%i-5*s+5*s^2]);
208 assert_checkequal(P + p, [3+3*s-3*s^2,-2-2*s+2*s^2;5+5*s-5*s^2,-4-4*s+4*s^2]);
209 assert_checkequal(P + pc, [3+%i*2+(3-%i*3)*s+(-3+%i*4)*s^2,-2+%i*2+(-2-%i*3)*s+(2+%i*4)*s^2;5+%i*2+(5-%i*3)*s+(-5+%i*4)*s^2,-4+%i*2+(-4-%i*3)*s+(4+%i*4)*s^2]);
210 assert_checkequal(P + P, [4+4*s-4*s^2,-6-6*s+6*s^2;8+8*s-8*s^2,-10-10*s+10*s^2]);
211 assert_checkequal(P + PC, [4+%i*4+(4-%i*6)*s+(-4+%i*8)*s^2,-6-%i*6+(-6+%i*9)*s+(6-%i*12)*s^2;8+%i*8+(8-%i*12)*s+(-8+%i*16)*s^2,-10-%i*10+(-10+%i*15)*s+(10-%i*20)*s^2]);
212
213 assert_checkequal(PC + empty, []);
214 assert_checkequal(PC + r, [4+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2,-1-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;6+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-3-%i*10+(-5+%i*15)*s+(5-%i*20)*s^2]);
215 assert_checkequal(PC + c, [3+%i*6+(2-%i*6)*s+(-2+%i*8)*s^2,-2-%i*4+(-3+%i*9)*s+(3-%i*12)*s^2;5+%i*10+(4-%i*12)*s+(-4+%i*16)*s^2,-4-%i*8+(-5+%i*15)*s+(5-%i*20)*s^2]);
216 assert_checkequal(PC + R, [3+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2,-1-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;7+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-1-%i*10+(-5+%i*15)*s+(5-%i*20)*s^2]);
217 assert_checkequal(PC + C, [3+%i*6+(2-%i*6)*s+(-2+%i*8)*s^2,-1-%i*2+(-3+%i*9)*s+(3-%i*12)*s^2;7+%i*14+(4-%i*12)*s+(-4+%i*16)*s^2,-1-%i*2+(-5+%i*15)*s+(5-%i*20)*s^2]);
218 assert_checkequal(PC + e, [3+%i*4+(2-%i*6)*s+(-2+%i*8)*s^2,-3-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;4+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-4-%i*10+(-5+%i*15)*s+(5-%i*20)*s^2]);
219 assert_checkequal(PC + ec, [7+%i*5+(2-%i*6)*s+(-2+%i*8)*s^2,-3-%i*6+(-3+%i*9)*s+(3-%i*12)*s^2;4+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-%i*9+(-5+%i*15)*s+(5-%i*20)*s^2]);
220 assert_checkequal(PC + p, [3+%i*4+(3-%i*6)*s+(-3+%i*8)*s^2,-2-%i*6+(-2+%i*9)*s+(2-%i*12)*s^2;5+%i*8+(5-%i*12)*s+(-5+%i*16)*s^2,-4-%i*10+(-4+%i*15)*s+(4-%i*20)*s^2]);
221 assert_checkequal(PC + pc, [3+%i*6+(3-%i*9)*s+(-3+%i*12)*s^2,-2-%i*4+(-2+%i*6)*s+(2-%i*8)*s^2;5+%i*10+(5-%i*15)*s+(-5+%i*20)*s^2,-4-%i*8+(-4+%i*12)*s+(4-%i*16)*s^2]);
222 assert_checkequal(PC + P, [4+%i*4+(4-%i*6)*s+(-4+%i*8)*s^2,-6-%i*6+(-6+%i*9)*s+(6-%i*12)*s^2;8+%i*8+(8-%i*12)*s+(-8+%i*16)*s^2,-10-%i*10+(-10+%i*15)*s+(10-%i*20)*s^2]);
223 assert_checkequal(PC + PC, [4+%i*8+(4-%i*12)*s+(-4+%i*16)*s^2,-6-%i*12+(-6+%i*18)*s+(6-%i*24)*s^2;8+%i*16+(8-%i*24)*s+(-8+%i*32)*s^2,-10-%i*20+(-10+%i*30)*s+(10-%i*40)*s^2]);
224
225 assert_checkequal(SP + empty, []);
226 assert_checkequal(SP + r, [2,3,2,2,2,2,2,2,2,2;2,2,2,2,2,2,2,2,2,2;2,2,2,2,2,2,2,2,2,5;2,2,2,2,4,2,2,2,2,2]);
227 assert_checkequal(SP + c, [ 1+%i*2, 2+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 4+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 3+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2]);
228 assert_checkequal(SP + e, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[1;1;1;1;3;1;2],[4,10]));
229 assert_checkequal(SP + ec, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[ 5+%i; 1; 5+%i; 5+%i; 3; 5+%i; 2],[4,10]));
230 assert_checkequal(SP + SP, sparse([1,2;3,10;4,5],[2;6;4],[4,10]));
231 assert_checkequal(SP + SPC, sparse([1,2;3,10;4,5],[ 2+%i*4; 6+%i*12; 4+%i*8],[4,10]));
232
233 assert_checkequal(SPC + empty, []);
234 assert_checkequal(SPC + r, [ 2, 3+%i*4, 2, 2, 2, 2, 2, 2, 2, 2; 2, 2, 2, 2, 2, 2, 2, 2, 2, 2; 2, 2, 2, 2, 2, 2, 2, 2, 2, 5+%i*12; 2, 2, 2, 2, 4+%i*8, 2, 2, 2, 2, 2]);
235 assert_checkequal(SPC + c, [ 1+%i*2, 2+%i*6, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 4+%i*14; 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 3+%i*10, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2, 1+%i*2]);
236 assert_checkequal(SPC + e, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[ 1; 1+%i*4; 1; 1; 3+%i*12; 1; 2+%i*8],[4,10]));
237 assert_checkequal(SPC + ec, sparse([1,1;1,2;2,2;3,3;3,10;4,4;4,5],[ 5+%i; 1+%i*4; 5+%i; 5+%i; 3+%i*12; 5+%i; 2+%i*8],[4,10]));
238 assert_checkequal(SPC + SP, sparse([1,2;3,10;4,5],[ 2+%i*4; 6+%i*12; 4+%i*8],[4,10]));
239 assert_checkequal(SPC + SPC, sparse([1,2;3,10;4,5],[ 2+%i*8; 6+%i*24; 4+%i*16],[4,10]));
240
241 assert_checkequal(i8 + empty, []);
242 assert_checkequal(i8 + r, int8(-6));
243 assert_checkequal(i8 + R, int8([-7,-6;-5,-4]));
244 assert_checkequal(i8 + i8, int8(-16));
245 assert_checkequal(i8 + I8, int8([-16,-24;-32,-40]));
246 assert_checkequal(i8 + ui8, uint8(0));
247 assert_checkequal(i8 + UI8, uint8([0,8;16,24]));
248 assert_checkequal(i8 + i16, int16(-24));
249 assert_checkequal(i8 + I16, int16([-24,-40;-56,-72]));
250 assert_checkequal(i8 + ui16, uint16(8));
251 assert_checkequal(i8 + UI16, uint16([8,24;40,56]));
252 assert_checkequal(i8 + i32, int32(-40));
253 assert_checkequal(i8 + I32, int32([-40,-72;-104,-136]));
254 assert_checkequal(i8 + ui32, uint32(24));
255 assert_checkequal(i8 + UI32, uint32([24,56;88,120]));
256
257 assert_checkequal(I8 + empty, []);
258 assert_checkequal(I8 + r, int8([-6,-14;-22,-30]));
259 assert_checkequal(I8 + R, int8([-7,-14;-21,-28]));
260 assert_checkequal(I8 + i8, int8([-16,-24;-32,-40]));
261 assert_checkequal(I8 + I8, int8([-16,-32;-48,-64]));
262 assert_checkequal(I8 + ui8, uint8([0,248;240,232]));
263 assert_checkequal(I8 + UI8, uint8([0,0;0,0]));
264 assert_checkequal(I8 + i16, int16([-24,-32;-40,-48]));
265 assert_checkequal(I8 + I16, int16([-24,-48;-72,-96]));
266 assert_checkequal(I8 + ui16, uint16([8,0;65528,65520]));
267 assert_checkequal(I8 + UI16, uint16([8,16;24,32]));
268 assert_checkequal(I8 + i32, int32([-40,-48;-56,-64]));
269 assert_checkequal(I8 + I32, int32([-40,-80;-120,-160]));
270 assert_checkequal(I8 + ui32, uint32([24,16;8,0]));
271 assert_checkequal(I8 + UI32, uint32([24,48;72,96]));
272
273 assert_checkequal(ui8 + empty, []);
274 assert_checkequal(ui8 + r, uint8(10));
275 assert_checkequal(ui8 + R, uint8([9,10;11,12]));
276 assert_checkequal(ui8 + i8, uint8(0));
277 assert_checkequal(ui8 + I8, uint8([0,248;240,232]));
278 assert_checkequal(ui8 + ui8, uint8(16));
279 assert_checkequal(ui8 + UI8, uint8([16,24;32,40]));
280 assert_checkequal(ui8 + i16, uint16(65528));
281 assert_checkequal(ui8 + I16, uint16([65528,65512;65496,65480]));
282 assert_checkequal(ui8 + ui16, uint16(24));
283 assert_checkequal(ui8 + UI16, uint16([24,40;56,72]));
284 assert_checkequal(ui8 + i32, uint32(4294967272));
285 assert_checkequal(ui8 + I32, uint32([4294967272,4294967240;4294967208,4294967176]));
286 assert_checkequal(ui8 + ui32, uint32(40));
287 assert_checkequal(ui8 + UI32, uint32([40,72;104,136]));
288
289 assert_checkequal(UI8 + empty, []);
290 assert_checkequal(UI8 + r, uint8([10,18;26,34]));
291 assert_checkequal(UI8 + R, uint8([9,18;27,36]));
292 assert_checkequal(UI8 + i8, uint8([0,8;16,24]));
293 assert_checkequal(UI8 + I8, uint8([0,0;0,0]));
294 assert_checkequal(UI8 + ui8, uint8([16,24;32,40]));
295 assert_checkequal(UI8 + UI8, uint8([16,32;48,64]));
296 assert_checkequal(UI8 + i16, uint16([65528,0;8,16]));
297 assert_checkequal(UI8 + I16, uint16([65528,65520;65512,65504]));
298 assert_checkequal(UI8 + ui16, uint16([24,32;40,48]));
299 assert_checkequal(UI8 + UI16, uint16([24,48;72,96]));
300 assert_checkequal(UI8 + i32, uint32([4294967272,4294967280;4294967288,0]));
301 assert_checkequal(UI8 + I32, uint32([4294967272,4294967248;4294967224,4294967200]));
302 assert_checkequal(UI8 + ui32, uint32([40,48;56,64]));
303 assert_checkequal(UI8 + UI32, uint32([40,80;120,160]));
304
305 assert_checkequal(i16 + empty, []);
306 assert_checkequal(i16 + r, int16(-14));
307 assert_checkequal(i16 + R, int16([-15,-14;-13,-12]));
308 assert_checkequal(i16 + i8, int16(-24));
309 assert_checkequal(i16 + I8, int16([-24,-32;-40,-48]));
310 assert_checkequal(i16 + ui8, uint16(65528));
311 assert_checkequal(i16 + UI8, uint16([65528,0;8,16]));
312 assert_checkequal(i16 + i16, int16(-32));
313 assert_checkequal(i16 + I16, int16([-32,-48;-64,-80]));
314 assert_checkequal(i16 + ui16, uint16(0));
315 assert_checkequal(i16 + UI16, uint16([0,16;32,48]));
316 assert_checkequal(i16 + i32, int32(-48));
317 assert_checkequal(i16 + I32, int32([-48,-80;-112,-144]));
318 assert_checkequal(i16 + ui32, uint32(16));
319 assert_checkequal(i16 + UI32, uint32([16,48;80,112]));
320
321 assert_checkequal(I16 + empty, []);
322 assert_checkequal(I16 + r, int16([-14,-30;-46,-62]));
323 assert_checkequal(I16 + R, int16([-15,-30;-45,-60]));
324 assert_checkequal(I16 + i8, int16([-24,-40;-56,-72]));
325 assert_checkequal(I16 + I8, int16([-24,-48;-72,-96]));
326 assert_checkequal(I16 + ui8, uint16([65528,65512;65496,65480]));
327 assert_checkequal(I16 + UI8, uint16([65528,65520;65512,65504]));
328 assert_checkequal(I16 + i16, int16([-32,-48;-64,-80]));
329 assert_checkequal(I16 + I16, int16([-32,-64;-96,-128]));
330 assert_checkequal(I16 + ui16, uint16([0,65520;65504,65488]));
331 assert_checkequal(I16 + UI16, uint16([0,0;0,0]));
332 assert_checkequal(I16 + i32, int32([-48,-64;-80,-96]));
333 assert_checkequal(I16 + I32, int32([-48,-96;-144,-192]));
334 assert_checkequal(I16 + ui32, uint32([16,0;4294967280,4294967264]));
335 assert_checkequal(I16 + UI32, uint32([16,32;48,64]));
336
337 assert_checkequal(ui16 + empty, []);
338 assert_checkequal(ui16 + r, uint16(18));
339 assert_checkequal(ui16 + R, uint16([17,18;19,20]));
340 assert_checkequal(ui16 + i8, uint16(8));
341 assert_checkequal(ui16 + I8, uint16([8,0;65528,65520]));
342 assert_checkequal(ui16 + ui8, uint16(24));
343 assert_checkequal(ui16 + UI8, uint16([24,32;40,48]));
344 assert_checkequal(ui16 + i16, uint16(0));
345 assert_checkequal(ui16 + I16, uint16([0,65520;65504,65488]));
346 assert_checkequal(ui16 + ui16, uint16(32));
347 assert_checkequal(ui16 + UI16, uint16([32,48;64,80]));
348 assert_checkequal(ui16 + i32, uint32(4294967280));
349 assert_checkequal(ui16 + I32, uint32([4294967280,4294967248;4294967216,4294967184]));
350 assert_checkequal(ui16 + ui32, uint32(48));
351 assert_checkequal(ui16 + UI32, uint32([48,80;112,144]));
352
353 assert_checkequal(UI16 + empty, []);
354 assert_checkequal(UI16 + r, uint16([18,34;50,66]));
355 assert_checkequal(UI16 + R, uint16([17,34;51,68]));
356 assert_checkequal(UI16 + i8, uint16([8,24;40,56]));
357 assert_checkequal(UI16 + I8, uint16([8,16;24,32]));
358 assert_checkequal(UI16 + ui8, uint16([24,40;56,72]));
359 assert_checkequal(UI16 + UI8, uint16([24,48;72,96]));
360 assert_checkequal(UI16 + i16, uint16([0,16;32,48]));
361 assert_checkequal(UI16 + I16, uint16([0,0;0,0]));
362 assert_checkequal(UI16 + ui16, uint16([32,48;64,80]));
363 assert_checkequal(UI16 + UI16, uint16([32,64;96,128]));
364 assert_checkequal(UI16 + i32, uint32([4294967280,0;16,32]));
365 assert_checkequal(UI16 + I32, uint32([4294967280,4294967264;4294967248,4294967232]));
366 assert_checkequal(UI16 + ui32, uint32([48,64;80,96]));
367 assert_checkequal(UI16 + UI32, uint32([48,96;144,192]));
368
369 assert_checkequal(i32 + empty, []);
370 assert_checkequal(i32 + r, int32(-30));
371 assert_checkequal(i32 + R, int32([-31,-30;-29,-28]));
372 assert_checkequal(i32 + i8, int32(-40));
373 assert_checkequal(i32 + I8, int32([-40,-48;-56,-64]));
374 assert_checkequal(i32 + ui8, uint32(4294967272));
375 assert_checkequal(i32 + UI8, uint32([4294967272,4294967280;4294967288,0]));
376 assert_checkequal(i32 + i16, int32(-48));
377 assert_checkequal(i32 + I16, int32([-48,-64;-80,-96]));
378 assert_checkequal(i32 + ui16, uint32(4294967280));
379 assert_checkequal(i32 + UI16, uint32([4294967280,0;16,32]));
380 assert_checkequal(i32 + i32, int32(-64));
381 assert_checkequal(i32 + I32, int32([-64,-96;-128,-160]));
382 assert_checkequal(i32 + ui32, uint32(0));
383 assert_checkequal(i32 + UI32, uint32([0,32;64,96]));
384
385 assert_checkequal(I32 + empty, []);
386 assert_checkequal(I32 + r, int32([-30,-62;-94,-126]));
387 assert_checkequal(I32 + R, int32([-31,-62;-93,-124]));
388 assert_checkequal(I32 + i8, int32([-40,-72;-104,-136]));
389 assert_checkequal(I32 + I8, int32([-40,-80;-120,-160]));
390 assert_checkequal(I32 + ui8, uint32([4294967272,4294967240;4294967208,4294967176]));
391 assert_checkequal(I32 + UI8, uint32([4294967272,4294967248;4294967224,4294967200]));
392 assert_checkequal(I32 + i16, int32([-48,-80;-112,-144]));
393 assert_checkequal(I32 + I16, int32([-48,-96;-144,-192]));
394 assert_checkequal(I32 + ui16, uint32([4294967280,4294967248;4294967216,4294967184]));
395 assert_checkequal(I32 + UI16, uint32([4294967280,4294967264;4294967248,4294967232]));
396 assert_checkequal(I32 + i32, int32([-64,-96;-128,-160]));
397 assert_checkequal(I32 + I32, int32([-64,-128;-192,-256]));
398 assert_checkequal(I32 + ui32, uint32([0,4294967264;4294967232,4294967200]));
399 assert_checkequal(I32 + UI32, uint32([0,0;0,0]));
400
401 assert_checkequal(ui32 + empty, []);
402 assert_checkequal(ui32 + r, uint32(34));
403 assert_checkequal(ui32 + R, uint32([33,34;35,36]));
404 assert_checkequal(ui32 + i8, uint32(24));
405 assert_checkequal(ui32 + I8, uint32([24,16;8,0]));
406 assert_checkequal(ui32 + ui8, uint32(40));
407 assert_checkequal(ui32 + UI8, uint32([40,48;56,64]));
408 assert_checkequal(ui32 + i16, uint32(16));
409 assert_checkequal(ui32 + I16, uint32([16,0;4294967280,4294967264]));
410 assert_checkequal(ui32 + ui16, uint32(48));
411 assert_checkequal(ui32 + UI16, uint32([48,64;80,96]));
412 assert_checkequal(ui32 + i32, uint32(0));
413 assert_checkequal(ui32 + I32, uint32([0,4294967264;4294967232,4294967200]));
414 assert_checkequal(ui32 + ui32, uint32(64));
415 assert_checkequal(ui32 + UI32, uint32([64,96;128,160]));
416
417 assert_checkequal(UI32 + empty, []);
418 assert_checkequal(UI32 + r, uint32([34,66;98,130]));
419 assert_checkequal(UI32 + R, uint32([33,66;99,132]));
420 assert_checkequal(UI32 + i8, uint32([24,56;88,120]));
421 assert_checkequal(UI32 + I8, uint32([24,48;72,96]));
422 assert_checkequal(UI32 + ui8, uint32([40,72;104,136]));
423 assert_checkequal(UI32 + UI8, uint32([40,80;120,160]));
424 assert_checkequal(UI32 + i16, uint32([16,48;80,112]));
425 assert_checkequal(UI32 + I16, uint32([16,32;48,64]));
426 assert_checkequal(UI32 + ui16, uint32([48,80;112,144]));
427 assert_checkequal(UI32 + UI16, uint32([48,96;144,192]));
428 assert_checkequal(UI32 + i32, uint32([0,32;64,96]));
429 assert_checkequal(UI32 + I32, uint32([0,0;0,0]));
430 assert_checkequal(UI32 + ui32, uint32([64,96;128,160]));
431 assert_checkequal(UI32 + UI32, uint32([64,128;192,256]));
432
433 assert_checkequal(str + empty, []);
434 assert_checkequal(str + str, "stringstring");
435 assert_checkequal(str + STR, ["stringstring1","stringstring2";"stringstring3","stringstring4"]);
436
437 assert_checkequal(STR + empty, []);
438 assert_checkequal(STR + str, ["string1string","string2string";"string3string","string4string"]);
439 assert_checkequal(STR + STR, ["string1string1","string2string2";"string3string3","string4string4"]);