11{
16
20
22
23 t4ddg_2(
i,
k,
j,
l) = t2s_2(
i,
k) * t2s_3(
j,
l);
24 t2_1(
i,
k) = t4ddg_2(
i,
j,
k,
l) * t2s_2(
j,
l);
26 - (t4ddg_2(0, 0, 0, 0) * t2s_2(0, 0)
27 + t4ddg_2(0, 0, 0, 1) * t2s_2(0, 1)
28 + t4ddg_2(0, 0, 0, 2) * t2s_2(0, 2)
29 + t4ddg_2(0, 1, 0, 0) * t2s_2(1, 0)
30 + t4ddg_2(0, 1, 0, 1) * t2s_2(1, 1)
31 + t4ddg_2(0, 1, 0, 2) * t2s_2(1, 2)
32 + t4ddg_2(0, 2, 0, 0) * t2s_2(2, 0)
33 + t4ddg_2(0, 2, 0, 1) * t2s_2(2, 1)
34 + t4ddg_2(0, 2, 0, 2) * t2s_2(2, 2)),
35 "T4ddg(i,j,k,l)*T2s(j,l)(0,0)");
37 - (t4ddg_2(0, 0, 1, 0) * t2s_2(0, 0)
38 + t4ddg_2(0, 0, 1, 1) * t2s_2(0, 1)
39 + t4ddg_2(0, 0, 1, 2) * t2s_2(0, 2)
40 + t4ddg_2(0, 1, 1, 0) * t2s_2(1, 0)
41 + t4ddg_2(0, 1, 1, 1) * t2s_2(1, 1)
42 + t4ddg_2(0, 1, 1, 2) * t2s_2(1, 2)
43 + t4ddg_2(0, 2, 1, 0) * t2s_2(2, 0)
44 + t4ddg_2(0, 2, 1, 1) * t2s_2(2, 1)
45 + t4ddg_2(0, 2, 1, 2) * t2s_2(2, 2)),
46 "T4ddg(i,j,k,l)*T2s(j,l)(0,1)");
48 - (t4ddg_2(0, 0, 2, 0) * t2s_2(0, 0)
49 + t4ddg_2(0, 0, 2, 1) * t2s_2(0, 1)
50 + t4ddg_2(0, 0, 2, 2) * t2s_2(0, 2)
51 + t4ddg_2(0, 1, 2, 0) * t2s_2(1, 0)
52 + t4ddg_2(0, 1, 2, 1) * t2s_2(1, 1)
53 + t4ddg_2(0, 1, 2, 2) * t2s_2(1, 2)
54 + t4ddg_2(0, 2, 2, 0) * t2s_2(2, 0)
55 + t4ddg_2(0, 2, 2, 1) * t2s_2(2, 1)
56 + t4ddg_2(0, 2, 2, 2) * t2s_2(2, 2)),
57 "T4ddg(i,j,k,l)*T2s(j,l)(0,2)");
59 - (t4ddg_2(1, 0, 0, 0) * t2s_2(0, 0)
60 + t4ddg_2(1, 0, 0, 1) * t2s_2(0, 1)
61 + t4ddg_2(1, 0, 0, 2) * t2s_2(0, 2)
62 + t4ddg_2(1, 1, 0, 0) * t2s_2(1, 0)
63 + t4ddg_2(1, 1, 0, 1) * t2s_2(1, 1)
64 + t4ddg_2(1, 1, 0, 2) * t2s_2(1, 2)
65 + t4ddg_2(1, 2, 0, 0) * t2s_2(2, 0)
66 + t4ddg_2(1, 2, 0, 1) * t2s_2(2, 1)
67 + t4ddg_2(1, 2, 0, 2) * t2s_2(2, 2)),
68 "T4ddg(i,j,k,l)*T2s(j,l)(1,0)");
70 - (t4ddg_2(1, 0, 1, 0) * t2s_2(0, 0)
71 + t4ddg_2(1, 0, 1, 1) * t2s_2(0, 1)
72 + t4ddg_2(1, 0, 1, 2) * t2s_2(0, 2)
73 + t4ddg_2(1, 1, 1, 0) * t2s_2(1, 0)
74 + t4ddg_2(1, 1, 1, 1) * t2s_2(1, 1)
75 + t4ddg_2(1, 1, 1, 2) * t2s_2(1, 2)
76 + t4ddg_2(1, 2, 1, 0) * t2s_2(2, 0)
77 + t4ddg_2(1, 2, 1, 1) * t2s_2(2, 1)
78 + t4ddg_2(1, 2, 1, 2) * t2s_2(2, 2)),
79 "T4ddg(i,j,k,l)*T2s(j,l)(1,1)");
81 - (t4ddg_2(1, 0, 2, 0) * t2s_2(0, 0)
82 + t4ddg_2(1, 0, 2, 1) * t2s_2(0, 1)
83 + t4ddg_2(1, 0, 2, 2) * t2s_2(0, 2)
84 + t4ddg_2(1, 1, 2, 0) * t2s_2(1, 0)
85 + t4ddg_2(1, 1, 2, 1) * t2s_2(1, 1)
86 + t4ddg_2(1, 1, 2, 2) * t2s_2(1, 2)
87 + t4ddg_2(1, 2, 2, 0) * t2s_2(2, 0)
88 + t4ddg_2(1, 2, 2, 1) * t2s_2(2, 1)
89 + t4ddg_2(1, 2, 2, 2) * t2s_2(2, 2)),
90 "T4ddg(i,j,k,l)*T2s(j,l)(1,2)");
92 - (t4ddg_2(2, 0, 0, 0) * t2s_2(0, 0)
93 + t4ddg_2(2, 0, 0, 1) * t2s_2(0, 1)
94 + t4ddg_2(2, 0, 0, 2) * t2s_2(0, 2)
95 + t4ddg_2(2, 1, 0, 0) * t2s_2(1, 0)
96 + t4ddg_2(2, 1, 0, 1) * t2s_2(1, 1)
97 + t4ddg_2(2, 1, 0, 2) * t2s_2(1, 2)
98 + t4ddg_2(2, 2, 0, 0) * t2s_2(2, 0)
99 + t4ddg_2(2, 2, 0, 1) * t2s_2(2, 1)
100 + t4ddg_2(2, 2, 0, 2) * t2s_2(2, 2)),
101 "T4ddg(i,j,k,l)*T2s(j,l)(2,0)");
103 - (t4ddg_2(2, 0, 1, 0) * t2s_2(0, 0)
104 + t4ddg_2(2, 0, 1, 1) * t2s_2(0, 1)
105 + t4ddg_2(2, 0, 1, 2) * t2s_2(0, 2)
106 + t4ddg_2(2, 1, 1, 0) * t2s_2(1, 0)
107 + t4ddg_2(2, 1, 1, 1) * t2s_2(1, 1)
108 + t4ddg_2(2, 1, 1, 2) * t2s_2(1, 2)
109 + t4ddg_2(2, 2, 1, 0) * t2s_2(2, 0)
110 + t4ddg_2(2, 2, 1, 1) * t2s_2(2, 1)
111 + t4ddg_2(2, 2, 1, 2) * t2s_2(2, 2)),
112 "T4ddg(i,j,k,l)*T2s(j,l)(2,1)");
114 - (t4ddg_2(2, 0, 2, 0) * t2s_2(0, 0)
115 + t4ddg_2(2, 0, 2, 1) * t2s_2(0, 1)
116 + t4ddg_2(2, 0, 2, 2) * t2s_2(0, 2)
117 + t4ddg_2(2, 1, 2, 0) * t2s_2(1, 0)
118 + t4ddg_2(2, 1, 2, 1) * t2s_2(1, 1)
119 + t4ddg_2(2, 1, 2, 2) * t2s_2(1, 2)
120 + t4ddg_2(2, 2, 2, 0) * t2s_2(2, 0)
121 + t4ddg_2(2, 2, 2, 1) * t2s_2(2, 1)
122 + t4ddg_2(2, 2, 2, 2) * t2s_2(2, 2)),
123 "T4ddg(i,j,k,l)*T2s(j,l)(2,2)");
124
125 t2_1(
i,
k) = t2s_3(
j,
l) * t4ddg_2(
i,
j,
k,
l);
127 - (t4ddg_2(0, 0, 0, 0) * t2s_3(0, 0)
128 + t4ddg_2(0, 0, 0, 1) * t2s_3(0, 1)
129 + t4ddg_2(0, 0, 0, 2) * t2s_3(0, 2)
130 + t4ddg_2(0, 1, 0, 0) * t2s_3(1, 0)
131 + t4ddg_2(0, 1, 0, 1) * t2s_3(1, 1)
132 + t4ddg_2(0, 1, 0, 2) * t2s_3(1, 2)
133 + t4ddg_2(0, 2, 0, 0) * t2s_3(2, 0)
134 + t4ddg_2(0, 2, 0, 1) * t2s_3(2, 1)
135 + t4ddg_2(0, 2, 0, 2) * t2s_3(2, 2)),
136 "T2s(j,l)*T4ddg(i,j,k,l)(0,0)");
138 - (t4ddg_2(0, 0, 1, 0) * t2s_3(0, 0)
139 + t4ddg_2(0, 0, 1, 1) * t2s_3(0, 1)
140 + t4ddg_2(0, 0, 1, 2) * t2s_3(0, 2)
141 + t4ddg_2(0, 1, 1, 0) * t2s_3(1, 0)
142 + t4ddg_2(0, 1, 1, 1) * t2s_3(1, 1)
143 + t4ddg_2(0, 1, 1, 2) * t2s_3(1, 2)
144 + t4ddg_2(0, 2, 1, 0) * t2s_3(2, 0)
145 + t4ddg_2(0, 2, 1, 1) * t2s_3(2, 1)
146 + t4ddg_2(0, 2, 1, 2) * t2s_3(2, 2)),
147 "T2s(j,l)*T4ddg(i,j,k,l)(0,1)");
149 - (t4ddg_2(0, 0, 2, 0) * t2s_3(0, 0)
150 + t4ddg_2(0, 0, 2, 1) * t2s_3(0, 1)
151 + t4ddg_2(0, 0, 2, 2) * t2s_3(0, 2)
152 + t4ddg_2(0, 1, 2, 0) * t2s_3(1, 0)
153 + t4ddg_2(0, 1, 2, 1) * t2s_3(1, 1)
154 + t4ddg_2(0, 1, 2, 2) * t2s_3(1, 2)
155 + t4ddg_2(0, 2, 2, 0) * t2s_3(2, 0)
156 + t4ddg_2(0, 2, 2, 1) * t2s_3(2, 1)
157 + t4ddg_2(0, 2, 2, 2) * t2s_3(2, 2)),
158 "T2s(j,l)*T4ddg(i,j,k,l)(0,2)");
160 - (t4ddg_2(1, 0, 0, 0) * t2s_3(0, 0)
161 + t4ddg_2(1, 0, 0, 1) * t2s_3(0, 1)
162 + t4ddg_2(1, 0, 0, 2) * t2s_3(0, 2)
163 + t4ddg_2(1, 1, 0, 0) * t2s_3(1, 0)
164 + t4ddg_2(1, 1, 0, 1) * t2s_3(1, 1)
165 + t4ddg_2(1, 1, 0, 2) * t2s_3(1, 2)
166 + t4ddg_2(1, 2, 0, 0) * t2s_3(2, 0)
167 + t4ddg_2(1, 2, 0, 1) * t2s_3(2, 1)
168 + t4ddg_2(1, 2, 0, 2) * t2s_3(2, 2)),
169 "T2s(j,l)*T4ddg(i,j,k,l)(1,0)");
171 - (t4ddg_2(1, 0, 1, 0) * t2s_3(0, 0)
172 + t4ddg_2(1, 0, 1, 1) * t2s_3(0, 1)
173 + t4ddg_2(1, 0, 1, 2) * t2s_3(0, 2)
174 + t4ddg_2(1, 1, 1, 0) * t2s_3(1, 0)
175 + t4ddg_2(1, 1, 1, 1) * t2s_3(1, 1)
176 + t4ddg_2(1, 1, 1, 2) * t2s_3(1, 2)
177 + t4ddg_2(1, 2, 1, 0) * t2s_3(2, 0)
178 + t4ddg_2(1, 2, 1, 1) * t2s_3(2, 1)
179 + t4ddg_2(1, 2, 1, 2) * t2s_3(2, 2)),
180 "T2s(j,l)*T4ddg(i,j,k,l)(1,1)");
182 - (t4ddg_2(1, 0, 2, 0) * t2s_3(0, 0)
183 + t4ddg_2(1, 0, 2, 1) * t2s_3(0, 1)
184 + t4ddg_2(1, 0, 2, 2) * t2s_3(0, 2)
185 + t4ddg_2(1, 1, 2, 0) * t2s_3(1, 0)
186 + t4ddg_2(1, 1, 2, 1) * t2s_3(1, 1)
187 + t4ddg_2(1, 1, 2, 2) * t2s_3(1, 2)
188 + t4ddg_2(1, 2, 2, 0) * t2s_3(2, 0)
189 + t4ddg_2(1, 2, 2, 1) * t2s_3(2, 1)
190 + t4ddg_2(1, 2, 2, 2) * t2s_3(2, 2)),
191 "T2s(j,l)*T4ddg(i,j,k,l)(1,2)");
193 - (t4ddg_2(2, 0, 0, 0) * t2s_3(0, 0)
194 + t4ddg_2(2, 0, 0, 1) * t2s_3(0, 1)
195 + t4ddg_2(2, 0, 0, 2) * t2s_3(0, 2)
196 + t4ddg_2(2, 1, 0, 0) * t2s_3(1, 0)
197 + t4ddg_2(2, 1, 0, 1) * t2s_3(1, 1)
198 + t4ddg_2(2, 1, 0, 2) * t2s_3(1, 2)
199 + t4ddg_2(2, 2, 0, 0) * t2s_3(2, 0)
200 + t4ddg_2(2, 2, 0, 1) * t2s_3(2, 1)
201 + t4ddg_2(2, 2, 0, 2) * t2s_3(2, 2)),
202 "T2s(j,l)*T4ddg(i,j,k,l)(2,0)");
204 - (t4ddg_2(2, 0, 1, 0) * t2s_3(0, 0)
205 + t4ddg_2(2, 0, 1, 1) * t2s_3(0, 1)
206 + t4ddg_2(2, 0, 1, 2) * t2s_3(0, 2)
207 + t4ddg_2(2, 1, 1, 0) * t2s_3(1, 0)
208 + t4ddg_2(2, 1, 1, 1) * t2s_3(1, 1)
209 + t4ddg_2(2, 1, 1, 2) * t2s_3(1, 2)
210 + t4ddg_2(2, 2, 1, 0) * t2s_3(2, 0)
211 + t4ddg_2(2, 2, 1, 1) * t2s_3(2, 1)
212 + t4ddg_2(2, 2, 1, 2) * t2s_3(2, 2)),
213 "T2s(j,l)*T4ddg(i,j,k,l)(2,1)");
215 - (t4ddg_2(2, 0, 2, 0) * t2s_3(0, 0)
216 + t4ddg_2(2, 0, 2, 1) * t2s_3(0, 1)
217 + t4ddg_2(2, 0, 2, 2) * t2s_3(0, 2)
218 + t4ddg_2(2, 1, 2, 0) * t2s_3(1, 0)
219 + t4ddg_2(2, 1, 2, 1) * t2s_3(1, 1)
220 + t4ddg_2(2, 1, 2, 2) * t2s_3(1, 2)
221 + t4ddg_2(2, 2, 2, 0) * t2s_3(2, 0)
222 + t4ddg_2(2, 2, 2, 1) * t2s_3(2, 1)
223 + t4ddg_2(2, 2, 2, 2) * t2s_3(2, 2)),
224 "T2s(j,l)*T4ddg(i,j,k,l)(2,2)");
225
226 t2s_1(
j,
l) = t4ddg_2(
i,
k,
j,
l) * t2s_2(
i,
k);
228 - (t4ddg_2(0, 0, 0, 0) * t2s_2(0, 0)
229 + t4ddg_2(0, 1, 0, 0) * t2s_2(0, 1)
230 + t4ddg_2(0, 2, 0, 0) * t2s_2(0, 2)
231 + t4ddg_2(1, 0, 0, 0) * t2s_2(1, 0)
232 + t4ddg_2(1, 1, 0, 0) * t2s_2(1, 1)
233 + t4ddg_2(1, 2, 0, 0) * t2s_2(1, 2)
234 + t4ddg_2(2, 0, 0, 0) * t2s_2(2, 0)
235 + t4ddg_2(2, 1, 0, 0) * t2s_2(2, 1)
236 + t4ddg_2(2, 2, 0, 0) * t2s_2(2, 2)),
237 "T4ddg(i,j,k,l)*T2s(i,k)(0,0)");
239 - (t4ddg_2(0, 0, 0, 1) * t2s_2(0, 0)
240 + t4ddg_2(0, 1, 0, 1) * t2s_2(0, 1)
241 + t4ddg_2(0, 2, 0, 1) * t2s_2(0, 2)
242 + t4ddg_2(1, 0, 0, 1) * t2s_2(1, 0)
243 + t4ddg_2(1, 1, 0, 1) * t2s_2(1, 1)
244 + t4ddg_2(1, 2, 0, 1) * t2s_2(1, 2)
245 + t4ddg_2(2, 0, 0, 1) * t2s_2(2, 0)
246 + t4ddg_2(2, 1, 0, 1) * t2s_2(2, 1)
247 + t4ddg_2(2, 2, 0, 1) * t2s_2(2, 2)),
248 "T4ddg(i,j,k,l)*T2s(i,k)(0,1)");
250 - (t4ddg_2(0, 0, 0, 2) * t2s_2(0, 0)
251 + t4ddg_2(0, 1, 0, 2) * t2s_2(0, 1)
252 + t4ddg_2(0, 2, 0, 2) * t2s_2(0, 2)
253 + t4ddg_2(1, 0, 0, 2) * t2s_2(1, 0)
254 + t4ddg_2(1, 1, 0, 2) * t2s_2(1, 1)
255 + t4ddg_2(1, 2, 0, 2) * t2s_2(1, 2)
256 + t4ddg_2(2, 0, 0, 2) * t2s_2(2, 0)
257 + t4ddg_2(2, 1, 0, 2) * t2s_2(2, 1)
258 + t4ddg_2(2, 2, 0, 2) * t2s_2(2, 2)),
259 "T4ddg(i,j,k,l)*T2s(i,k)(0,2)");
261 - (t4ddg_2(0, 0, 1, 0) * t2s_2(0, 0)
262 + t4ddg_2(0, 1, 1, 0) * t2s_2(0, 1)
263 + t4ddg_2(0, 2, 1, 0) * t2s_2(0, 2)
264 + t4ddg_2(1, 0, 1, 0) * t2s_2(1, 0)
265 + t4ddg_2(1, 1, 1, 0) * t2s_2(1, 1)
266 + t4ddg_2(1, 2, 1, 0) * t2s_2(1, 2)
267 + t4ddg_2(2, 0, 1, 0) * t2s_2(2, 0)
268 + t4ddg_2(2, 1, 1, 0) * t2s_2(2, 1)
269 + t4ddg_2(2, 2, 1, 0) * t2s_2(2, 2)),
270 "T4ddg(i,j,k,l)*T2s(i,k)(1,0)");
272 - (t4ddg_2(0, 0, 1, 1) * t2s_2(0, 0)
273 + t4ddg_2(0, 1, 1, 1) * t2s_2(0, 1)
274 + t4ddg_2(0, 2, 1, 1) * t2s_2(0, 2)
275 + t4ddg_2(1, 0, 1, 1) * t2s_2(1, 0)
276 + t4ddg_2(1, 1, 1, 1) * t2s_2(1, 1)
277 + t4ddg_2(1, 2, 1, 1) * t2s_2(1, 2)
278 + t4ddg_2(2, 0, 1, 1) * t2s_2(2, 0)
279 + t4ddg_2(2, 1, 1, 1) * t2s_2(2, 1)
280 + t4ddg_2(2, 2, 1, 1) * t2s_2(2, 2)),
281 "T4ddg(i,j,k,l)*T2s(i,k)(1,1)");
283 - (t4ddg_2(0, 0, 1, 2) * t2s_2(0, 0)
284 + t4ddg_2(0, 1, 1, 2) * t2s_2(0, 1)
285 + t4ddg_2(0, 2, 1, 2) * t2s_2(0, 2)
286 + t4ddg_2(1, 0, 1, 2) * t2s_2(1, 0)
287 + t4ddg_2(1, 1, 1, 2) * t2s_2(1, 1)
288 + t4ddg_2(1, 2, 1, 2) * t2s_2(1, 2)
289 + t4ddg_2(2, 0, 1, 2) * t2s_2(2, 0)
290 + t4ddg_2(2, 1, 1, 2) * t2s_2(2, 1)
291 + t4ddg_2(2, 2, 1, 2) * t2s_2(2, 2)),
292 "T4ddg(i,j,k,l)*T2s(i,k)(1,2)");
294 - (t4ddg_2(0, 0, 2, 0) * t2s_2(0, 0)
295 + t4ddg_2(0, 1, 2, 0) * t2s_2(0, 1)
296 + t4ddg_2(0, 2, 2, 0) * t2s_2(0, 2)
297 + t4ddg_2(1, 0, 2, 0) * t2s_2(1, 0)
298 + t4ddg_2(1, 1, 2, 0) * t2s_2(1, 1)
299 + t4ddg_2(1, 2, 2, 0) * t2s_2(1, 2)
300 + t4ddg_2(2, 0, 2, 0) * t2s_2(2, 0)
301 + t4ddg_2(2, 1, 2, 0) * t2s_2(2, 1)
302 + t4ddg_2(2, 2, 2, 0) * t2s_2(2, 2)),
303 "T4ddg(i,j,k,l)*T2s(i,k)(2,0)");
305 - (t4ddg_2(0, 0, 2, 1) * t2s_2(0, 0)
306 + t4ddg_2(0, 1, 2, 1) * t2s_2(0, 1)
307 + t4ddg_2(0, 2, 2, 1) * t2s_2(0, 2)
308 + t4ddg_2(1, 0, 2, 1) * t2s_2(1, 0)
309 + t4ddg_2(1, 1, 2, 1) * t2s_2(1, 1)
310 + t4ddg_2(1, 2, 2, 1) * t2s_2(1, 2)
311 + t4ddg_2(2, 0, 2, 1) * t2s_2(2, 0)
312 + t4ddg_2(2, 1, 2, 1) * t2s_2(2, 1)
313 + t4ddg_2(2, 2, 2, 1) * t2s_2(2, 2)),
314 "T4ddg(i,j,k,l)*T2s(i,k)(2,1)");
316 - (t4ddg_2(0, 0, 2, 2) * t2s_2(0, 0)
317 + t4ddg_2(0, 1, 2, 2) * t2s_2(0, 1)
318 + t4ddg_2(0, 2, 2, 2) * t2s_2(0, 2)
319 + t4ddg_2(1, 0, 2, 2) * t2s_2(1, 0)
320 + t4ddg_2(1, 1, 2, 2) * t2s_2(1, 1)
321 + t4ddg_2(1, 2, 2, 2) * t2s_2(1, 2)
322 + t4ddg_2(2, 0, 2, 2) * t2s_2(2, 0)
323 + t4ddg_2(2, 1, 2, 2) * t2s_2(2, 1)
324 + t4ddg_2(2, 2, 2, 2) * t2s_2(2, 2)),
325 "T4ddg(i,j,k,l)*T2s(i,k)(2,2)");
326
327 t2s_1(
j,
l) = t2s_3(
i,
k) * t4ddg_2(
i,
k,
j,
l);
329 - (t4ddg_2(0, 0, 0, 0) * t2s_3(0, 0)
330 + t4ddg_2(0, 1, 0, 0) * t2s_3(0, 1)
331 + t4ddg_2(0, 2, 0, 0) * t2s_3(0, 2)
332 + t4ddg_2(1, 0, 0, 0) * t2s_3(1, 0)
333 + t4ddg_2(1, 1, 0, 0) * t2s_3(1, 1)
334 + t4ddg_2(1, 2, 0, 0) * t2s_3(1, 2)
335 + t4ddg_2(2, 0, 0, 0) * t2s_3(2, 0)
336 + t4ddg_2(2, 1, 0, 0) * t2s_3(2, 1)
337 + t4ddg_2(2, 2, 0, 0) * t2s_3(2, 2)),
338 "T2s(i,k)*T4ddg(i,j,k,l)(0,0)");
340 - (t4ddg_2(0, 0, 0, 1) * t2s_3(0, 0)
341 + t4ddg_2(0, 1, 0, 1) * t2s_3(0, 1)
342 + t4ddg_2(0, 2, 0, 1) * t2s_3(0, 2)
343 + t4ddg_2(1, 0, 0, 1) * t2s_3(1, 0)
344 + t4ddg_2(1, 1, 0, 1) * t2s_3(1, 1)
345 + t4ddg_2(1, 2, 0, 1) * t2s_3(1, 2)
346 + t4ddg_2(2, 0, 0, 1) * t2s_3(2, 0)
347 + t4ddg_2(2, 1, 0, 1) * t2s_3(2, 1)
348 + t4ddg_2(2, 2, 0, 1) * t2s_3(2, 2)),
349 "T2s(i,k)*T4ddg(i,j,k,l)(0,1)");
351 - (t4ddg_2(0, 0, 0, 2) * t2s_3(0, 0)
352 + t4ddg_2(0, 1, 0, 2) * t2s_3(0, 1)
353 + t4ddg_2(0, 2, 0, 2) * t2s_3(0, 2)
354 + t4ddg_2(1, 0, 0, 2) * t2s_3(1, 0)
355 + t4ddg_2(1, 1, 0, 2) * t2s_3(1, 1)
356 + t4ddg_2(1, 2, 0, 2) * t2s_3(1, 2)
357 + t4ddg_2(2, 0, 0, 2) * t2s_3(2, 0)
358 + t4ddg_2(2, 1, 0, 2) * t2s_3(2, 1)
359 + t4ddg_2(2, 2, 0, 2) * t2s_3(2, 2)),
360 "T2s(i,k)*T4ddg(i,j,k,l)(0,2)");
362 - (t4ddg_2(0, 0, 1, 0) * t2s_3(0, 0)
363 + t4ddg_2(0, 1, 1, 0) * t2s_3(0, 1)
364 + t4ddg_2(0, 2, 1, 0) * t2s_3(0, 2)
365 + t4ddg_2(1, 0, 1, 0) * t2s_3(1, 0)
366 + t4ddg_2(1, 1, 1, 0) * t2s_3(1, 1)
367 + t4ddg_2(1, 2, 1, 0) * t2s_3(1, 2)
368 + t4ddg_2(2, 0, 1, 0) * t2s_3(2, 0)
369 + t4ddg_2(2, 1, 1, 0) * t2s_3(2, 1)
370 + t4ddg_2(2, 2, 1, 0) * t2s_3(2, 2)),
371 "T2s(i,k)*T4ddg(i,j,k,l)(1,0)");
373 - (t4ddg_2(0, 0, 1, 1) * t2s_3(0, 0)
374 + t4ddg_2(0, 1, 1, 1) * t2s_3(0, 1)
375 + t4ddg_2(0, 2, 1, 1) * t2s_3(0, 2)
376 + t4ddg_2(1, 0, 1, 1) * t2s_3(1, 0)
377 + t4ddg_2(1, 1, 1, 1) * t2s_3(1, 1)
378 + t4ddg_2(1, 2, 1, 1) * t2s_3(1, 2)
379 + t4ddg_2(2, 0, 1, 1) * t2s_3(2, 0)
380 + t4ddg_2(2, 1, 1, 1) * t2s_3(2, 1)
381 + t4ddg_2(2, 2, 1, 1) * t2s_3(2, 2)),
382 "T2s(i,k)*T4ddg(i,j,k,l)(1,1)");
384 - (t4ddg_2(0, 0, 1, 2) * t2s_3(0, 0)
385 + t4ddg_2(0, 1, 1, 2) * t2s_3(0, 1)
386 + t4ddg_2(0, 2, 1, 2) * t2s_3(0, 2)
387 + t4ddg_2(1, 0, 1, 2) * t2s_3(1, 0)
388 + t4ddg_2(1, 1, 1, 2) * t2s_3(1, 1)
389 + t4ddg_2(1, 2, 1, 2) * t2s_3(1, 2)
390 + t4ddg_2(2, 0, 1, 2) * t2s_3(2, 0)
391 + t4ddg_2(2, 1, 1, 2) * t2s_3(2, 1)
392 + t4ddg_2(2, 2, 1, 2) * t2s_3(2, 2)),
393 "T2s(i,k)*T4ddg(i,j,k,l)(1,2)");
395 - (t4ddg_2(0, 0, 2, 0) * t2s_3(0, 0)
396 + t4ddg_2(0, 1, 2, 0) * t2s_3(0, 1)
397 + t4ddg_2(0, 2, 2, 0) * t2s_3(0, 2)
398 + t4ddg_2(1, 0, 2, 0) * t2s_3(1, 0)
399 + t4ddg_2(1, 1, 2, 0) * t2s_3(1, 1)
400 + t4ddg_2(1, 2, 2, 0) * t2s_3(1, 2)
401 + t4ddg_2(2, 0, 2, 0) * t2s_3(2, 0)
402 + t4ddg_2(2, 1, 2, 0) * t2s_3(2, 1)
403 + t4ddg_2(2, 2, 2, 0) * t2s_3(2, 2)),
404 "T2s(i,k)*T4ddg(i,j,k,l)(2,0)");
406 - (t4ddg_2(0, 0, 2, 1) * t2s_3(0, 0)
407 + t4ddg_2(0, 1, 2, 1) * t2s_3(0, 1)
408 + t4ddg_2(0, 2, 2, 1) * t2s_3(0, 2)
409 + t4ddg_2(1, 0, 2, 1) * t2s_3(1, 0)
410 + t4ddg_2(1, 1, 2, 1) * t2s_3(1, 1)
411 + t4ddg_2(1, 2, 2, 1) * t2s_3(1, 2)
412 + t4ddg_2(2, 0, 2, 1) * t2s_3(2, 0)
413 + t4ddg_2(2, 1, 2, 1) * t2s_3(2, 1)
414 + t4ddg_2(2, 2, 2, 1) * t2s_3(2, 2)),
415 "T2s(i,k)*T4ddg(i,j,k,l)(2,1)");
417 - (t4ddg_2(0, 0, 2, 2) * t2s_3(0, 0)
418 + t4ddg_2(0, 1, 2, 2) * t2s_3(0, 1)
419 + t4ddg_2(0, 2, 2, 2) * t2s_3(0, 2)
420 + t4ddg_2(1, 0, 2, 2) * t2s_3(1, 0)
421 + t4ddg_2(1, 1, 2, 2) * t2s_3(1, 1)
422 + t4ddg_2(1, 2, 2, 2) * t2s_3(1, 2)
423 + t4ddg_2(2, 0, 2, 2) * t2s_3(2, 0)
424 + t4ddg_2(2, 1, 2, 2) * t2s_3(2, 1)
425 + t4ddg_2(2, 2, 2, 2) * t2s_3(2, 2)),
426 "T2s(i,k)*T4ddg(i,j,k,l)(2,2)");
427
428 t4ddg_1(
i,
j,
k,
l) = (t4ddg_2(
i,
j,
k,
l) & t2s_3(
i,
j));
429 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) * t2s_3(0, 0)),
430 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,0,0)");
431 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) * t2s_3(0, 0)),
432 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,0,1)");
433 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) * t2s_3(0, 0)),
434 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,0,2)");
435 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) * t2s_3(0, 0)),
436 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,1,0)");
437 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) * t2s_3(0, 0)),
438 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,1,1)");
439 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) * t2s_3(0, 0)),
440 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,1,2)");
441 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) * t2s_3(0, 0)),
442 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,2,0)");
443 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) * t2s_3(0, 0)),
444 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,2,1)");
445 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) * t2s_3(0, 0)),
446 "T4ddg(i,j,k,l)&T2s(i,j)(0,0,2,2)");
447 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) * t2s_3(0, 1)),
448 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,0,0)");
449 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) * t2s_3(0, 1)),
450 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,0,1)");
451 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) * t2s_3(0, 1)),
452 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,0,2)");
453 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) * t2s_3(0, 1)),
454 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,1,0)");
455 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) * t2s_3(0, 1)),
456 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,1,1)");
457 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) * t2s_3(0, 1)),
458 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,1,2)");
459 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) * t2s_3(0, 1)),
460 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,2,0)");
461 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) * t2s_3(0, 1)),
462 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,2,1)");
463 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) * t2s_3(0, 1)),
464 "T4ddg(i,j,k,l)&T2s(i,j)(0,1,2,2)");
465 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) * t2s_3(0, 2)),
466 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,0,0)");
467 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) * t2s_3(0, 2)),
468 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,0,1)");
469 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) * t2s_3(0, 2)),
470 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,0,2)");
471 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) * t2s_3(0, 2)),
472 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,1,0)");
473 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) * t2s_3(0, 2)),
474 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,1,1)");
475 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) * t2s_3(0, 2)),
476 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,1,2)");
477 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) * t2s_3(0, 2)),
478 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,2,0)");
479 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) * t2s_3(0, 2)),
480 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,2,1)");
481 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) * t2s_3(0, 2)),
482 "T4ddg(i,j,k,l)&T2s(i,j)(0,2,2,2)");
483 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) * t2s_3(1, 0)),
484 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,0,0)");
485 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) * t2s_3(1, 0)),
486 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,0,1)");
487 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) * t2s_3(1, 0)),
488 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,0,2)");
489 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) * t2s_3(1, 0)),
490 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,1,0)");
491 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) * t2s_3(1, 0)),
492 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,1,1)");
493 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) * t2s_3(1, 0)),
494 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,1,2)");
495 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) * t2s_3(1, 0)),
496 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,2,0)");
497 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) * t2s_3(1, 0)),
498 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,2,1)");
499 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) * t2s_3(1, 0)),
500 "T4ddg(i,j,k,l)&T2s(i,j)(1,0,2,2)");
501 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) * t2s_3(1, 1)),
502 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,0,0)");
503 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) * t2s_3(1, 1)),
504 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,0,1)");
505 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) * t2s_3(1, 1)),
506 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,0,2)");
507 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) * t2s_3(1, 1)),
508 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,1,0)");
509 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) * t2s_3(1, 1)),
510 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,1,1)");
511 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) * t2s_3(1, 1)),
512 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,1,2)");
513 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) * t2s_3(1, 1)),
514 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,2,0)");
515 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) * t2s_3(1, 1)),
516 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,2,1)");
517 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) * t2s_3(1, 1)),
518 "T4ddg(i,j,k,l)&T2s(i,j)(1,1,2,2)");
519 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) * t2s_3(1, 2)),
520 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,0,0)");
521 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) * t2s_3(1, 2)),
522 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,0,1)");
523 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) * t2s_3(1, 2)),
524 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,0,2)");
525 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) * t2s_3(1, 2)),
526 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,1,0)");
527 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) * t2s_3(1, 2)),
528 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,1,1)");
529 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) * t2s_3(1, 2)),
530 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,1,2)");
531 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) * t2s_3(1, 2)),
532 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,2,0)");
533 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) * t2s_3(1, 2)),
534 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,2,1)");
535 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) * t2s_3(1, 2)),
536 "T4ddg(i,j,k,l)&T2s(i,j)(1,2,2,2)");
537 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) * t2s_3(2, 0)),
538 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,0,0)");
539 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) * t2s_3(2, 0)),
540 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,0,1)");
541 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) * t2s_3(2, 0)),
542 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,0,2)");
543 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) * t2s_3(2, 0)),
544 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,1,0)");
545 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) * t2s_3(2, 0)),
546 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,1,1)");
547 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) * t2s_3(2, 0)),
548 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,1,2)");
549 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) * t2s_3(2, 0)),
550 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,2,0)");
551 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) * t2s_3(2, 0)),
552 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,2,1)");
553 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) * t2s_3(2, 0)),
554 "T4ddg(i,j,k,l)&T2s(i,j)(2,0,2,2)");
555 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) * t2s_3(2, 1)),
556 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,0,0)");
557 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) * t2s_3(2, 1)),
558 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,0,1)");
559 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) * t2s_3(2, 1)),
560 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,0,2)");
561 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) * t2s_3(2, 1)),
562 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,1,0)");
563 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) * t2s_3(2, 1)),
564 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,1,1)");
565 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) * t2s_3(2, 1)),
566 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,1,2)");
567 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) * t2s_3(2, 1)),
568 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,2,0)");
569 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) * t2s_3(2, 1)),
570 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,2,1)");
571 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) * t2s_3(2, 1)),
572 "T4ddg(i,j,k,l)&T2s(i,j)(2,1,2,2)");
573 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) * t2s_3(2, 2)),
574 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,0,0)");
575 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) * t2s_3(2, 2)),
576 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,0,1)");
577 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) * t2s_3(2, 2)),
578 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,0,2)");
579 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) * t2s_3(2, 2)),
580 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,1,0)");
581 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) * t2s_3(2, 2)),
582 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,1,1)");
583 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) * t2s_3(2, 2)),
584 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,1,2)");
585 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) * t2s_3(2, 2)),
586 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,2,0)");
587 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) * t2s_3(2, 2)),
588 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,2,1)");
589 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) * t2s_3(2, 2)),
590 "T4ddg(i,j,k,l)&T2s(i,j)(2,2,2,2)");
591
592 t4ddg_1(
i,
j,
k,
l) = (t2s_2(
i,
j) & t4ddg_2(
i,
j,
k,
l));
593 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) * t2s_2(0, 0)),
594 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,0,0)");
595 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) * t2s_2(0, 0)),
596 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,0,1)");
597 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) * t2s_2(0, 0)),
598 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,0,2)");
599 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) * t2s_2(0, 0)),
600 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,1,0)");
601 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) * t2s_2(0, 0)),
602 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,1,1)");
603 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) * t2s_2(0, 0)),
604 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,1,2)");
605 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) * t2s_2(0, 0)),
606 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,2,0)");
607 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) * t2s_2(0, 0)),
608 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,2,1)");
609 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) * t2s_2(0, 0)),
610 "T2s(i,j)&T4ddg(i,j,k,l)(0,0,2,2)");
611 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) * t2s_2(0, 1)),
612 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,0,0)");
613 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) * t2s_2(0, 1)),
614 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,0,1)");
615 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) * t2s_2(0, 1)),
616 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,0,2)");
617 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) * t2s_2(0, 1)),
618 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,1,0)");
619 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) * t2s_2(0, 1)),
620 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,1,1)");
621 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) * t2s_2(0, 1)),
622 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,1,2)");
623 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) * t2s_2(0, 1)),
624 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,2,0)");
625 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) * t2s_2(0, 1)),
626 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,2,1)");
627 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) * t2s_2(0, 1)),
628 "T2s(i,j)&T4ddg(i,j,k,l)(0,1,2,2)");
629 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) * t2s_2(0, 2)),
630 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,0,0)");
631 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) * t2s_2(0, 2)),
632 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,0,1)");
633 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) * t2s_2(0, 2)),
634 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,0,2)");
635 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) * t2s_2(0, 2)),
636 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,1,0)");
637 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) * t2s_2(0, 2)),
638 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,1,1)");
639 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) * t2s_2(0, 2)),
640 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,1,2)");
641 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) * t2s_2(0, 2)),
642 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,2,0)");
643 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) * t2s_2(0, 2)),
644 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,2,1)");
645 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) * t2s_2(0, 2)),
646 "T2s(i,j)&T4ddg(i,j,k,l)(0,2,2,2)");
647 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) * t2s_2(1, 0)),
648 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,0,0)");
649 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) * t2s_2(1, 0)),
650 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,0,1)");
651 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) * t2s_2(1, 0)),
652 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,0,2)");
653 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) * t2s_2(1, 0)),
654 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,1,0)");
655 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) * t2s_2(1, 0)),
656 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,1,1)");
657 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) * t2s_2(1, 0)),
658 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,1,2)");
659 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) * t2s_2(1, 0)),
660 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,2,0)");
661 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) * t2s_2(1, 0)),
662 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,2,1)");
663 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) * t2s_2(1, 0)),
664 "T2s(i,j)&T4ddg(i,j,k,l)(1,0,2,2)");
665 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) * t2s_2(1, 1)),
666 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,0,0)");
667 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) * t2s_2(1, 1)),
668 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,0,1)");
669 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) * t2s_2(1, 1)),
670 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,0,2)");
671 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) * t2s_2(1, 1)),
672 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,1,0)");
673 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) * t2s_2(1, 1)),
674 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,1,1)");
675 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) * t2s_2(1, 1)),
676 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,1,2)");
677 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) * t2s_2(1, 1)),
678 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,2,0)");
679 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) * t2s_2(1, 1)),
680 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,2,1)");
681 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) * t2s_2(1, 1)),
682 "T2s(i,j)&T4ddg(i,j,k,l)(1,1,2,2)");
683 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) * t2s_2(1, 2)),
684 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,0,0)");
685 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) * t2s_2(1, 2)),
686 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,0,1)");
687 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) * t2s_2(1, 2)),
688 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,0,2)");
689 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) * t2s_2(1, 2)),
690 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,1,0)");
691 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) * t2s_2(1, 2)),
692 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,1,1)");
693 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) * t2s_2(1, 2)),
694 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,1,2)");
695 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) * t2s_2(1, 2)),
696 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,2,0)");
697 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) * t2s_2(1, 2)),
698 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,2,1)");
699 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) * t2s_2(1, 2)),
700 "T2s(i,j)&T4ddg(i,j,k,l)(1,2,2,2)");
701 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) * t2s_2(2, 0)),
702 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,0,0)");
703 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) * t2s_2(2, 0)),
704 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,0,1)");
705 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) * t2s_2(2, 0)),
706 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,0,2)");
707 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) * t2s_2(2, 0)),
708 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,1,0)");
709 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) * t2s_2(2, 0)),
710 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,1,1)");
711 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) * t2s_2(2, 0)),
712 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,1,2)");
713 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) * t2s_2(2, 0)),
714 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,2,0)");
715 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) * t2s_2(2, 0)),
716 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,2,1)");
717 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) * t2s_2(2, 0)),
718 "T2s(i,j)&T4ddg(i,j,k,l)(2,0,2,2)");
719 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) * t2s_2(2, 1)),
720 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,0,0)");
721 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) * t2s_2(2, 1)),
722 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,0,1)");
723 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) * t2s_2(2, 1)),
724 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,0,2)");
725 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) * t2s_2(2, 1)),
726 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,1,0)");
727 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) * t2s_2(2, 1)),
728 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,1,1)");
729 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) * t2s_2(2, 1)),
730 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,1,2)");
731 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) * t2s_2(2, 1)),
732 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,2,0)");
733 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) * t2s_2(2, 1)),
734 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,2,1)");
735 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) * t2s_2(2, 1)),
736 "T2s(i,j)&T4ddg(i,j,k,l)(2,1,2,2)");
737 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) * t2s_2(2, 2)),
738 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,0,0)");
739 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) * t2s_2(2, 2)),
740 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,0,1)");
741 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) * t2s_2(2, 2)),
742 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,0,2)");
743 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) * t2s_2(2, 2)),
744 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,1,0)");
745 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) * t2s_2(2, 2)),
746 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,1,1)");
747 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) * t2s_2(2, 2)),
748 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,1,2)");
749 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) * t2s_2(2, 2)),
750 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,2,0)");
751 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) * t2s_2(2, 2)),
752 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,2,1)");
753 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) * t2s_2(2, 2)),
754 "T2s(i,j)&T4ddg(i,j,k,l)(2,2,2,2)");
755
756 t4ddg_1(
i,
j,
k,
l) = (t4ddg_2(
i,
j,
k,
l) & t2s_3(
k,
l));
757 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) * t2s_3(0, 0)),
758 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,0,0)");
759 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) * t2s_3(0, 1)),
760 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,0,1)");
761 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) * t2s_3(0, 2)),
762 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,0,2)");
763 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) * t2s_3(1, 0)),
764 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,1,0)");
765 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) * t2s_3(1, 1)),
766 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,1,1)");
767 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) * t2s_3(1, 2)),
768 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,1,2)");
769 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) * t2s_3(2, 0)),
770 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,2,0)");
771 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) * t2s_3(2, 1)),
772 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,2,1)");
773 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) * t2s_3(2, 2)),
774 "T4ddg(i,j,k,l)&T2s(k,l)(0,0,2,2)");
775 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) * t2s_3(0, 0)),
776 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,0,0)");
777 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) * t2s_3(0, 1)),
778 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,0,1)");
779 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) * t2s_3(0, 2)),
780 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,0,2)");
781 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) * t2s_3(1, 0)),
782 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,1,0)");
783 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) * t2s_3(1, 1)),
784 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,1,1)");
785 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) * t2s_3(1, 2)),
786 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,1,2)");
787 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) * t2s_3(2, 0)),
788 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,2,0)");
789 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) * t2s_3(2, 1)),
790 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,2,1)");
791 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) * t2s_3(2, 2)),
792 "T4ddg(i,j,k,l)&T2s(k,l)(0,1,2,2)");
793 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) * t2s_3(0, 0)),
794 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,0,0)");
795 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) * t2s_3(0, 1)),
796 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,0,1)");
797 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) * t2s_3(0, 2)),
798 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,0,2)");
799 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) * t2s_3(1, 0)),
800 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,1,0)");
801 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) * t2s_3(1, 1)),
802 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,1,1)");
803 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) * t2s_3(1, 2)),
804 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,1,2)");
805 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) * t2s_3(2, 0)),
806 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,2,0)");
807 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) * t2s_3(2, 1)),
808 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,2,1)");
809 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) * t2s_3(2, 2)),
810 "T4ddg(i,j,k,l)&T2s(k,l)(0,2,2,2)");
811 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) * t2s_3(0, 0)),
812 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,0,0)");
813 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) * t2s_3(0, 1)),
814 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,0,1)");
815 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) * t2s_3(0, 2)),
816 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,0,2)");
817 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) * t2s_3(1, 0)),
818 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,1,0)");
819 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) * t2s_3(1, 1)),
820 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,1,1)");
821 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) * t2s_3(1, 2)),
822 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,1,2)");
823 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) * t2s_3(2, 0)),
824 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,2,0)");
825 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) * t2s_3(2, 1)),
826 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,2,1)");
827 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) * t2s_3(2, 2)),
828 "T4ddg(i,j,k,l)&T2s(k,l)(1,0,2,2)");
829 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) * t2s_3(0, 0)),
830 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,0,0)");
831 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) * t2s_3(0, 1)),
832 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,0,1)");
833 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) * t2s_3(0, 2)),
834 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,0,2)");
835 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) * t2s_3(1, 0)),
836 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,1,0)");
837 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) * t2s_3(1, 1)),
838 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,1,1)");
839 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) * t2s_3(1, 2)),
840 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,1,2)");
841 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) * t2s_3(2, 0)),
842 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,2,0)");
843 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) * t2s_3(2, 1)),
844 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,2,1)");
845 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) * t2s_3(2, 2)),
846 "T4ddg(i,j,k,l)&T2s(k,l)(1,1,2,2)");
847 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) * t2s_3(0, 0)),
848 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,0,0)");
849 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) * t2s_3(0, 1)),
850 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,0,1)");
851 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) * t2s_3(0, 2)),
852 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,0,2)");
853 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) * t2s_3(1, 0)),
854 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,1,0)");
855 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) * t2s_3(1, 1)),
856 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,1,1)");
857 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) * t2s_3(1, 2)),
858 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,1,2)");
859 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) * t2s_3(2, 0)),
860 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,2,0)");
861 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) * t2s_3(2, 1)),
862 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,2,1)");
863 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) * t2s_3(2, 2)),
864 "T4ddg(i,j,k,l)&T2s(k,l)(1,2,2,2)");
865 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) * t2s_3(0, 0)),
866 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,0,0)");
867 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) * t2s_3(0, 1)),
868 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,0,1)");
869 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) * t2s_3(0, 2)),
870 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,0,2)");
871 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) * t2s_3(1, 0)),
872 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,1,0)");
873 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) * t2s_3(1, 1)),
874 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,1,1)");
875 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) * t2s_3(1, 2)),
876 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,1,2)");
877 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) * t2s_3(2, 0)),
878 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,2,0)");
879 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) * t2s_3(2, 1)),
880 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,2,1)");
881 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) * t2s_3(2, 2)),
882 "T4ddg(i,j,k,l)&T2s(k,l)(2,0,2,2)");
883 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) * t2s_3(0, 0)),
884 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,0,0)");
885 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) * t2s_3(0, 1)),
886 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,0,1)");
887 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) * t2s_3(0, 2)),
888 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,0,2)");
889 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) * t2s_3(1, 0)),
890 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,1,0)");
891 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) * t2s_3(1, 1)),
892 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,1,1)");
893 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) * t2s_3(1, 2)),
894 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,1,2)");
895 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) * t2s_3(2, 0)),
896 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,2,0)");
897 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) * t2s_3(2, 1)),
898 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,2,1)");
899 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) * t2s_3(2, 2)),
900 "T4ddg(i,j,k,l)&T2s(k,l)(2,1,2,2)");
901 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) * t2s_3(0, 0)),
902 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,0,0)");
903 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) * t2s_3(0, 1)),
904 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,0,1)");
905 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) * t2s_3(0, 2)),
906 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,0,2)");
907 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) * t2s_3(1, 0)),
908 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,1,0)");
909 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) * t2s_3(1, 1)),
910 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,1,1)");
911 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) * t2s_3(1, 2)),
912 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,1,2)");
913 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) * t2s_3(2, 0)),
914 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,2,0)");
915 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) * t2s_3(2, 1)),
916 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,2,1)");
917 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) * t2s_3(2, 2)),
918 "T4ddg(i,j,k,l)&T2s(k,l)(2,2,2,2)");
919
920 t4ddg_1(
i,
j,
k,
l) = (t2s_2(
k,
l) & t4ddg_2(
i,
j,
k,
l));
921 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) * t2s_2(0, 0)),
922 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,0,0)");
923 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) * t2s_2(0, 1)),
924 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,0,1)");
925 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) * t2s_2(0, 2)),
926 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,0,2)");
927 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) * t2s_2(1, 0)),
928 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,1,0)");
929 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) * t2s_2(1, 1)),
930 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,1,1)");
931 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) * t2s_2(1, 2)),
932 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,1,2)");
933 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) * t2s_2(2, 0)),
934 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,2,0)");
935 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) * t2s_2(2, 1)),
936 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,2,1)");
937 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) * t2s_2(2, 2)),
938 "T2s(k,l)&T4ddg(i,j,k,l)(0,0,2,2)");
939 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) * t2s_2(0, 0)),
940 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,0,0)");
941 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) * t2s_2(0, 1)),
942 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,0,1)");
943 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) * t2s_2(0, 2)),
944 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,0,2)");
945 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) * t2s_2(1, 0)),
946 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,1,0)");
947 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) * t2s_2(1, 1)),
948 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,1,1)");
949 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) * t2s_2(1, 2)),
950 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,1,2)");
951 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) * t2s_2(2, 0)),
952 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,2,0)");
953 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) * t2s_2(2, 1)),
954 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,2,1)");
955 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) * t2s_2(2, 2)),
956 "T2s(k,l)&T4ddg(i,j,k,l)(0,1,2,2)");
957 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) * t2s_2(0, 0)),
958 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,0,0)");
959 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) * t2s_2(0, 1)),
960 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,0,1)");
961 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) * t2s_2(0, 2)),
962 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,0,2)");
963 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) * t2s_2(1, 0)),
964 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,1,0)");
965 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) * t2s_2(1, 1)),
966 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,1,1)");
967 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) * t2s_2(1, 2)),
968 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,1,2)");
969 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) * t2s_2(2, 0)),
970 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,2,0)");
971 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) * t2s_2(2, 1)),
972 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,2,1)");
973 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) * t2s_2(2, 2)),
974 "T2s(k,l)&T4ddg(i,j,k,l)(0,2,2,2)");
975 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) * t2s_2(0, 0)),
976 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,0,0)");
977 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) * t2s_2(0, 1)),
978 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,0,1)");
979 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) * t2s_2(0, 2)),
980 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,0,2)");
981 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) * t2s_2(1, 0)),
982 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,1,0)");
983 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) * t2s_2(1, 1)),
984 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,1,1)");
985 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) * t2s_2(1, 2)),
986 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,1,2)");
987 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) * t2s_2(2, 0)),
988 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,2,0)");
989 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) * t2s_2(2, 1)),
990 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,2,1)");
991 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) * t2s_2(2, 2)),
992 "T2s(k,l)&T4ddg(i,j,k,l)(1,0,2,2)");
993 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) * t2s_2(0, 0)),
994 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,0,0)");
995 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) * t2s_2(0, 1)),
996 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,0,1)");
997 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) * t2s_2(0, 2)),
998 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,0,2)");
999 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) * t2s_2(1, 0)),
1000 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,1,0)");
1001 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) * t2s_2(1, 1)),
1002 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,1,1)");
1003 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) * t2s_2(1, 2)),
1004 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,1,2)");
1005 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) * t2s_2(2, 0)),
1006 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,2,0)");
1007 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) * t2s_2(2, 1)),
1008 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,2,1)");
1009 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) * t2s_2(2, 2)),
1010 "T2s(k,l)&T4ddg(i,j,k,l)(1,1,2,2)");
1011 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) * t2s_2(0, 0)),
1012 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,0,0)");
1013 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) * t2s_2(0, 1)),
1014 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,0,1)");
1015 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) * t2s_2(0, 2)),
1016 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,0,2)");
1017 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) * t2s_2(1, 0)),
1018 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,1,0)");
1019 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) * t2s_2(1, 1)),
1020 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,1,1)");
1021 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) * t2s_2(1, 2)),
1022 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,1,2)");
1023 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) * t2s_2(2, 0)),
1024 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,2,0)");
1025 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) * t2s_2(2, 1)),
1026 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,2,1)");
1027 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) * t2s_2(2, 2)),
1028 "T2s(k,l)&T4ddg(i,j,k,l)(1,2,2,2)");
1029 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) * t2s_2(0, 0)),
1030 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,0,0)");
1031 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) * t2s_2(0, 1)),
1032 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,0,1)");
1033 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) * t2s_2(0, 2)),
1034 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,0,2)");
1035 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) * t2s_2(1, 0)),
1036 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,1,0)");
1037 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) * t2s_2(1, 1)),
1038 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,1,1)");
1039 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) * t2s_2(1, 2)),
1040 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,1,2)");
1041 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) * t2s_2(2, 0)),
1042 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,2,0)");
1043 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) * t2s_2(2, 1)),
1044 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,2,1)");
1045 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) * t2s_2(2, 2)),
1046 "T2s(k,l)&T4ddg(i,j,k,l)(2,0,2,2)");
1047 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) * t2s_2(0, 0)),
1048 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,0,0)");
1049 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) * t2s_2(0, 1)),
1050 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,0,1)");
1051 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) * t2s_2(0, 2)),
1052 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,0,2)");
1053 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) * t2s_2(1, 0)),
1054 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,1,0)");
1055 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) * t2s_2(1, 1)),
1056 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,1,1)");
1057 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) * t2s_2(1, 2)),
1058 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,1,2)");
1059 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) * t2s_2(2, 0)),
1060 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,2,0)");
1061 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) * t2s_2(2, 1)),
1062 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,2,1)");
1063 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) * t2s_2(2, 2)),
1064 "T2s(k,l)&T4ddg(i,j,k,l)(2,1,2,2)");
1065 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) * t2s_2(0, 0)),
1066 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,0,0)");
1067 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) * t2s_2(0, 1)),
1068 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,0,1)");
1069 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) * t2s_2(0, 2)),
1070 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,0,2)");
1071 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) * t2s_2(1, 0)),
1072 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,1,0)");
1073 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) * t2s_2(1, 1)),
1074 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,1,1)");
1075 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) * t2s_2(1, 2)),
1076 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,1,2)");
1077 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) * t2s_2(2, 0)),
1078 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,2,0)");
1079 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) * t2s_2(2, 1)),
1080 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,2,1)");
1081 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) * t2s_2(2, 2)),
1082 "T2s(k,l)&T4ddg(i,j,k,l)(2,2,2,2)");
1083
1084 t4ddg_1(
i,
j,
k,
l) = (t4ddg_2(
i,
j,
k,
l) % t2s_3(
i,
j));
1085 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) / t2s_3(0, 0)),
1086 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,0,0)");
1087 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) / t2s_3(0, 0)),
1088 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,0,1)");
1089 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) / t2s_3(0, 0)),
1090 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,0,2)");
1091 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) / t2s_3(0, 0)),
1092 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,1,0)");
1093 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) / t2s_3(0, 0)),
1094 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,1,1)");
1095 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) / t2s_3(0, 0)),
1096 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,1,2)");
1097 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) / t2s_3(0, 0)),
1098 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,2,0)");
1099 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) / t2s_3(0, 0)),
1100 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,2,1)");
1101 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) / t2s_3(0, 0)),
1102 "T4ddg(i,j,k,l)%T2s(i,j)(0,0,2,2)");
1103 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) / t2s_3(0, 1)),
1104 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,0,0)");
1105 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) / t2s_3(0, 1)),
1106 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,0,1)");
1107 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) / t2s_3(0, 1)),
1108 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,0,2)");
1109 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) / t2s_3(0, 1)),
1110 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,1,0)");
1111 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) / t2s_3(0, 1)),
1112 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,1,1)");
1113 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) / t2s_3(0, 1)),
1114 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,1,2)");
1115 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) / t2s_3(0, 1)),
1116 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,2,0)");
1117 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) / t2s_3(0, 1)),
1118 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,2,1)");
1119 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) / t2s_3(0, 1)),
1120 "T4ddg(i,j,k,l)%T2s(i,j)(0,1,2,2)");
1121 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) / t2s_3(0, 2)),
1122 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,0,0)");
1123 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) / t2s_3(0, 2)),
1124 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,0,1)");
1125 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) / t2s_3(0, 2)),
1126 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,0,2)");
1127 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) / t2s_3(0, 2)),
1128 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,1,0)");
1129 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) / t2s_3(0, 2)),
1130 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,1,1)");
1131 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) / t2s_3(0, 2)),
1132 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,1,2)");
1133 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) / t2s_3(0, 2)),
1134 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,2,0)");
1135 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) / t2s_3(0, 2)),
1136 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,2,1)");
1137 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) / t2s_3(0, 2)),
1138 "T4ddg(i,j,k,l)%T2s(i,j)(0,2,2,2)");
1139 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) / t2s_3(1, 0)),
1140 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,0,0)");
1141 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) / t2s_3(1, 0)),
1142 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,0,1)");
1143 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) / t2s_3(1, 0)),
1144 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,0,2)");
1145 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) / t2s_3(1, 0)),
1146 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,1,0)");
1147 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) / t2s_3(1, 0)),
1148 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,1,1)");
1149 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) / t2s_3(1, 0)),
1150 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,1,2)");
1151 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) / t2s_3(1, 0)),
1152 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,2,0)");
1153 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) / t2s_3(1, 0)),
1154 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,2,1)");
1155 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) / t2s_3(1, 0)),
1156 "T4ddg(i,j,k,l)%T2s(i,j)(1,0,2,2)");
1157 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) / t2s_3(1, 1)),
1158 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,0,0)");
1159 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) / t2s_3(1, 1)),
1160 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,0,1)");
1161 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) / t2s_3(1, 1)),
1162 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,0,2)");
1163 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) / t2s_3(1, 1)),
1164 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,1,0)");
1165 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) / t2s_3(1, 1)),
1166 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,1,1)");
1167 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) / t2s_3(1, 1)),
1168 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,1,2)");
1169 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) / t2s_3(1, 1)),
1170 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,2,0)");
1171 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) / t2s_3(1, 1)),
1172 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,2,1)");
1173 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) / t2s_3(1, 1)),
1174 "T4ddg(i,j,k,l)%T2s(i,j)(1,1,2,2)");
1175 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) / t2s_3(1, 2)),
1176 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,0,0)");
1177 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) / t2s_3(1, 2)),
1178 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,0,1)");
1179 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) / t2s_3(1, 2)),
1180 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,0,2)");
1181 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) / t2s_3(1, 2)),
1182 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,1,0)");
1183 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) / t2s_3(1, 2)),
1184 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,1,1)");
1185 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) / t2s_3(1, 2)),
1186 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,1,2)");
1187 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) / t2s_3(1, 2)),
1188 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,2,0)");
1189 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) / t2s_3(1, 2)),
1190 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,2,1)");
1191 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) / t2s_3(1, 2)),
1192 "T4ddg(i,j,k,l)%T2s(i,j)(1,2,2,2)");
1193 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) / t2s_3(2, 0)),
1194 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,0,0)");
1195 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) / t2s_3(2, 0)),
1196 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,0,1)");
1197 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) / t2s_3(2, 0)),
1198 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,0,2)");
1199 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) / t2s_3(2, 0)),
1200 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,1,0)");
1201 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) / t2s_3(2, 0)),
1202 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,1,1)");
1203 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) / t2s_3(2, 0)),
1204 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,1,2)");
1205 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) / t2s_3(2, 0)),
1206 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,2,0)");
1207 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) / t2s_3(2, 0)),
1208 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,2,1)");
1209 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) / t2s_3(2, 0)),
1210 "T4ddg(i,j,k,l)%T2s(i,j)(2,0,2,2)");
1211 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) / t2s_3(2, 1)),
1212 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,0,0)");
1213 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) / t2s_3(2, 1)),
1214 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,0,1)");
1215 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) / t2s_3(2, 1)),
1216 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,0,2)");
1217 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) / t2s_3(2, 1)),
1218 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,1,0)");
1219 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) / t2s_3(2, 1)),
1220 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,1,1)");
1221 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) / t2s_3(2, 1)),
1222 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,1,2)");
1223 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) / t2s_3(2, 1)),
1224 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,2,0)");
1225 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) / t2s_3(2, 1)),
1226 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,2,1)");
1227 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) / t2s_3(2, 1)),
1228 "T4ddg(i,j,k,l)%T2s(i,j)(2,1,2,2)");
1229 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) / t2s_3(2, 2)),
1230 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,0,0)");
1231 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) / t2s_3(2, 2)),
1232 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,0,1)");
1233 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) / t2s_3(2, 2)),
1234 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,0,2)");
1235 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) / t2s_3(2, 2)),
1236 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,1,0)");
1237 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) / t2s_3(2, 2)),
1238 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,1,1)");
1239 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) / t2s_3(2, 2)),
1240 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,1,2)");
1241 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) / t2s_3(2, 2)),
1242 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,2,0)");
1243 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) / t2s_3(2, 2)),
1244 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,2,1)");
1245 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) / t2s_3(2, 2)),
1246 "T4ddg(i,j,k,l)%T2s(i,j)(2,2,2,2)");
1247
1248 t4ddg_1(
i,
j,
k,
l) = (t2s_2(
i,
j) % t4ddg_2(
i,
j,
k,
l));
1249 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) / t2s_2(0, 0)),
1250 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,0,0)");
1251 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) / t2s_2(0, 0)),
1252 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,0,1)");
1253 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) / t2s_2(0, 0)),
1254 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,0,2)");
1255 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) / t2s_2(0, 0)),
1256 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,1,0)");
1257 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) / t2s_2(0, 0)),
1258 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,1,1)");
1259 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) / t2s_2(0, 0)),
1260 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,1,2)");
1261 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) / t2s_2(0, 0)),
1262 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,2,0)");
1263 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) / t2s_2(0, 0)),
1264 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,2,1)");
1265 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) / t2s_2(0, 0)),
1266 "T2s(i,j)%T4ddg(i,j,k,l)(0,0,2,2)");
1267 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) / t2s_2(0, 1)),
1268 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,0,0)");
1269 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) / t2s_2(0, 1)),
1270 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,0,1)");
1271 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) / t2s_2(0, 1)),
1272 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,0,2)");
1273 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) / t2s_2(0, 1)),
1274 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,1,0)");
1275 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) / t2s_2(0, 1)),
1276 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,1,1)");
1277 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) / t2s_2(0, 1)),
1278 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,1,2)");
1279 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) / t2s_2(0, 1)),
1280 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,2,0)");
1281 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) / t2s_2(0, 1)),
1282 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,2,1)");
1283 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) / t2s_2(0, 1)),
1284 "T2s(i,j)%T4ddg(i,j,k,l)(0,1,2,2)");
1285 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) / t2s_2(0, 2)),
1286 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,0,0)");
1287 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) / t2s_2(0, 2)),
1288 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,0,1)");
1289 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) / t2s_2(0, 2)),
1290 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,0,2)");
1291 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) / t2s_2(0, 2)),
1292 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,1,0)");
1293 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) / t2s_2(0, 2)),
1294 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,1,1)");
1295 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) / t2s_2(0, 2)),
1296 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,1,2)");
1297 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) / t2s_2(0, 2)),
1298 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,2,0)");
1299 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) / t2s_2(0, 2)),
1300 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,2,1)");
1301 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) / t2s_2(0, 2)),
1302 "T2s(i,j)%T4ddg(i,j,k,l)(0,2,2,2)");
1303 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) / t2s_2(1, 0)),
1304 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,0,0)");
1305 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) / t2s_2(1, 0)),
1306 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,0,1)");
1307 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) / t2s_2(1, 0)),
1308 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,0,2)");
1309 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) / t2s_2(1, 0)),
1310 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,1,0)");
1311 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) / t2s_2(1, 0)),
1312 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,1,1)");
1313 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) / t2s_2(1, 0)),
1314 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,1,2)");
1315 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) / t2s_2(1, 0)),
1316 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,2,0)");
1317 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) / t2s_2(1, 0)),
1318 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,2,1)");
1319 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) / t2s_2(1, 0)),
1320 "T2s(i,j)%T4ddg(i,j,k,l)(1,0,2,2)");
1321 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) / t2s_2(1, 1)),
1322 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,0,0)");
1323 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) / t2s_2(1, 1)),
1324 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,0,1)");
1325 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) / t2s_2(1, 1)),
1326 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,0,2)");
1327 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) / t2s_2(1, 1)),
1328 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,1,0)");
1329 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) / t2s_2(1, 1)),
1330 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,1,1)");
1331 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) / t2s_2(1, 1)),
1332 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,1,2)");
1333 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) / t2s_2(1, 1)),
1334 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,2,0)");
1335 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) / t2s_2(1, 1)),
1336 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,2,1)");
1337 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) / t2s_2(1, 1)),
1338 "T2s(i,j)%T4ddg(i,j,k,l)(1,1,2,2)");
1339 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) / t2s_2(1, 2)),
1340 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,0,0)");
1341 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) / t2s_2(1, 2)),
1342 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,0,1)");
1343 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) / t2s_2(1, 2)),
1344 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,0,2)");
1345 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) / t2s_2(1, 2)),
1346 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,1,0)");
1347 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) / t2s_2(1, 2)),
1348 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,1,1)");
1349 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) / t2s_2(1, 2)),
1350 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,1,2)");
1351 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) / t2s_2(1, 2)),
1352 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,2,0)");
1353 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) / t2s_2(1, 2)),
1354 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,2,1)");
1355 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) / t2s_2(1, 2)),
1356 "T2s(i,j)%T4ddg(i,j,k,l)(1,2,2,2)");
1357 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) / t2s_2(2, 0)),
1358 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,0,0)");
1359 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) / t2s_2(2, 0)),
1360 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,0,1)");
1361 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) / t2s_2(2, 0)),
1362 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,0,2)");
1363 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) / t2s_2(2, 0)),
1364 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,1,0)");
1365 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) / t2s_2(2, 0)),
1366 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,1,1)");
1367 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) / t2s_2(2, 0)),
1368 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,1,2)");
1369 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) / t2s_2(2, 0)),
1370 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,2,0)");
1371 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) / t2s_2(2, 0)),
1372 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,2,1)");
1373 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) / t2s_2(2, 0)),
1374 "T2s(i,j)%T4ddg(i,j,k,l)(2,0,2,2)");
1375 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) / t2s_2(2, 1)),
1376 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,0,0)");
1377 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) / t2s_2(2, 1)),
1378 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,0,1)");
1379 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) / t2s_2(2, 1)),
1380 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,0,2)");
1381 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) / t2s_2(2, 1)),
1382 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,1,0)");
1383 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) / t2s_2(2, 1)),
1384 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,1,1)");
1385 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) / t2s_2(2, 1)),
1386 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,1,2)");
1387 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) / t2s_2(2, 1)),
1388 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,2,0)");
1389 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) / t2s_2(2, 1)),
1390 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,2,1)");
1391 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) / t2s_2(2, 1)),
1392 "T2s(i,j)%T4ddg(i,j,k,l)(2,1,2,2)");
1393 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) / t2s_2(2, 2)),
1394 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,0,0)");
1395 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) / t2s_2(2, 2)),
1396 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,0,1)");
1397 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) / t2s_2(2, 2)),
1398 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,0,2)");
1399 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) / t2s_2(2, 2)),
1400 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,1,0)");
1401 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) / t2s_2(2, 2)),
1402 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,1,1)");
1403 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) / t2s_2(2, 2)),
1404 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,1,2)");
1405 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) / t2s_2(2, 2)),
1406 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,2,0)");
1407 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) / t2s_2(2, 2)),
1408 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,2,1)");
1409 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) / t2s_2(2, 2)),
1410 "T2s(i,j)%T4ddg(i,j,k,l)(2,2,2,2)");
1411
1412 t4ddg_1(
i,
j,
k,
l) = (t4ddg_2(
i,
j,
k,
l) % t2s_3(
k,
l));
1413 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) / t2s_3(0, 0)),
1414 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,0,0)");
1415 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) / t2s_3(0, 1)),
1416 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,0,1)");
1417 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) / t2s_3(0, 2)),
1418 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,0,2)");
1419 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) / t2s_3(1, 0)),
1420 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,1,0)");
1421 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) / t2s_3(1, 1)),
1422 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,1,1)");
1423 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) / t2s_3(1, 2)),
1424 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,1,2)");
1425 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) / t2s_3(2, 0)),
1426 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,2,0)");
1427 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) / t2s_3(2, 1)),
1428 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,2,1)");
1429 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) / t2s_3(2, 2)),
1430 "T4ddg(i,j,k,l)%T2s(k,l)(0,0,2,2)");
1431 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) / t2s_3(0, 0)),
1432 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,0,0)");
1433 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) / t2s_3(0, 1)),
1434 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,0,1)");
1435 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) / t2s_3(0, 2)),
1436 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,0,2)");
1437 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) / t2s_3(1, 0)),
1438 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,1,0)");
1439 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) / t2s_3(1, 1)),
1440 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,1,1)");
1441 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) / t2s_3(1, 2)),
1442 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,1,2)");
1443 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) / t2s_3(2, 0)),
1444 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,2,0)");
1445 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) / t2s_3(2, 1)),
1446 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,2,1)");
1447 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) / t2s_3(2, 2)),
1448 "T4ddg(i,j,k,l)%T2s(k,l)(0,1,2,2)");
1449 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) / t2s_3(0, 0)),
1450 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,0,0)");
1451 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) / t2s_3(0, 1)),
1452 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,0,1)");
1453 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) / t2s_3(0, 2)),
1454 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,0,2)");
1455 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) / t2s_3(1, 0)),
1456 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,1,0)");
1457 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) / t2s_3(1, 1)),
1458 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,1,1)");
1459 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) / t2s_3(1, 2)),
1460 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,1,2)");
1461 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) / t2s_3(2, 0)),
1462 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,2,0)");
1463 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) / t2s_3(2, 1)),
1464 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,2,1)");
1465 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) / t2s_3(2, 2)),
1466 "T4ddg(i,j,k,l)%T2s(k,l)(0,2,2,2)");
1467 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) / t2s_3(0, 0)),
1468 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,0,0)");
1469 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) / t2s_3(0, 1)),
1470 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,0,1)");
1471 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) / t2s_3(0, 2)),
1472 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,0,2)");
1473 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) / t2s_3(1, 0)),
1474 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,1,0)");
1475 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) / t2s_3(1, 1)),
1476 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,1,1)");
1477 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) / t2s_3(1, 2)),
1478 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,1,2)");
1479 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) / t2s_3(2, 0)),
1480 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,2,0)");
1481 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) / t2s_3(2, 1)),
1482 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,2,1)");
1483 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) / t2s_3(2, 2)),
1484 "T4ddg(i,j,k,l)%T2s(k,l)(1,0,2,2)");
1485 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) / t2s_3(0, 0)),
1486 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,0,0)");
1487 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) / t2s_3(0, 1)),
1488 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,0,1)");
1489 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) / t2s_3(0, 2)),
1490 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,0,2)");
1491 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) / t2s_3(1, 0)),
1492 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,1,0)");
1493 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) / t2s_3(1, 1)),
1494 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,1,1)");
1495 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) / t2s_3(1, 2)),
1496 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,1,2)");
1497 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) / t2s_3(2, 0)),
1498 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,2,0)");
1499 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) / t2s_3(2, 1)),
1500 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,2,1)");
1501 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) / t2s_3(2, 2)),
1502 "T4ddg(i,j,k,l)%T2s(k,l)(1,1,2,2)");
1503 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) / t2s_3(0, 0)),
1504 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,0,0)");
1505 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) / t2s_3(0, 1)),
1506 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,0,1)");
1507 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) / t2s_3(0, 2)),
1508 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,0,2)");
1509 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) / t2s_3(1, 0)),
1510 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,1,0)");
1511 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) / t2s_3(1, 1)),
1512 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,1,1)");
1513 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) / t2s_3(1, 2)),
1514 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,1,2)");
1515 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) / t2s_3(2, 0)),
1516 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,2,0)");
1517 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) / t2s_3(2, 1)),
1518 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,2,1)");
1519 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) / t2s_3(2, 2)),
1520 "T4ddg(i,j,k,l)%T2s(k,l)(1,2,2,2)");
1521 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) / t2s_3(0, 0)),
1522 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,0,0)");
1523 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) / t2s_3(0, 1)),
1524 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,0,1)");
1525 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) / t2s_3(0, 2)),
1526 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,0,2)");
1527 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) / t2s_3(1, 0)),
1528 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,1,0)");
1529 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) / t2s_3(1, 1)),
1530 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,1,1)");
1531 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) / t2s_3(1, 2)),
1532 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,1,2)");
1533 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) / t2s_3(2, 0)),
1534 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,2,0)");
1535 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) / t2s_3(2, 1)),
1536 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,2,1)");
1537 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) / t2s_3(2, 2)),
1538 "T4ddg(i,j,k,l)%T2s(k,l)(2,0,2,2)");
1539 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) / t2s_3(0, 0)),
1540 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,0,0)");
1541 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) / t2s_3(0, 1)),
1542 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,0,1)");
1543 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) / t2s_3(0, 2)),
1544 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,0,2)");
1545 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) / t2s_3(1, 0)),
1546 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,1,0)");
1547 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) / t2s_3(1, 1)),
1548 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,1,1)");
1549 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) / t2s_3(1, 2)),
1550 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,1,2)");
1551 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) / t2s_3(2, 0)),
1552 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,2,0)");
1553 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) / t2s_3(2, 1)),
1554 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,2,1)");
1555 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) / t2s_3(2, 2)),
1556 "T4ddg(i,j,k,l)%T2s(k,l)(2,1,2,2)");
1557 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) / t2s_3(0, 0)),
1558 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,0,0)");
1559 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) / t2s_3(0, 1)),
1560 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,0,1)");
1561 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) / t2s_3(0, 2)),
1562 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,0,2)");
1563 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) / t2s_3(1, 0)),
1564 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,1,0)");
1565 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) / t2s_3(1, 1)),
1566 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,1,1)");
1567 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) / t2s_3(1, 2)),
1568 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,1,2)");
1569 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) / t2s_3(2, 0)),
1570 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,2,0)");
1571 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) / t2s_3(2, 1)),
1572 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,2,1)");
1573 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) / t2s_3(2, 2)),
1574 "T4ddg(i,j,k,l)%T2s(k,l)(2,2,2,2)");
1575
1576 t4ddg_1(
i,
j,
k,
l) = (t2s_2(
k,
l) % t4ddg_2(
i,
j,
k,
l));
1577 test_for_zero(t4ddg_1(0, 0, 0, 0) - (t4ddg_2(0, 0, 0, 0) / t2s_2(0, 0)),
1578 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,0,0)");
1579 test_for_zero(t4ddg_1(0, 0, 0, 1) - (t4ddg_2(0, 0, 0, 1) / t2s_2(0, 1)),
1580 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,0,1)");
1581 test_for_zero(t4ddg_1(0, 0, 0, 2) - (t4ddg_2(0, 0, 0, 2) / t2s_2(0, 2)),
1582 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,0,2)");
1583 test_for_zero(t4ddg_1(0, 0, 1, 0) - (t4ddg_2(0, 0, 1, 0) / t2s_2(1, 0)),
1584 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,1,0)");
1585 test_for_zero(t4ddg_1(0, 0, 1, 1) - (t4ddg_2(0, 0, 1, 1) / t2s_2(1, 1)),
1586 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,1,1)");
1587 test_for_zero(t4ddg_1(0, 0, 1, 2) - (t4ddg_2(0, 0, 1, 2) / t2s_2(1, 2)),
1588 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,1,2)");
1589 test_for_zero(t4ddg_1(0, 0, 2, 0) - (t4ddg_2(0, 0, 2, 0) / t2s_2(2, 0)),
1590 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,2,0)");
1591 test_for_zero(t4ddg_1(0, 0, 2, 1) - (t4ddg_2(0, 0, 2, 1) / t2s_2(2, 1)),
1592 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,2,1)");
1593 test_for_zero(t4ddg_1(0, 0, 2, 2) - (t4ddg_2(0, 0, 2, 2) / t2s_2(2, 2)),
1594 "T2s(k,l)%T4ddg(i,j,k,l)(0,0,2,2)");
1595 test_for_zero(t4ddg_1(0, 1, 0, 0) - (t4ddg_2(0, 1, 0, 0) / t2s_2(0, 0)),
1596 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,0,0)");
1597 test_for_zero(t4ddg_1(0, 1, 0, 1) - (t4ddg_2(0, 1, 0, 1) / t2s_2(0, 1)),
1598 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,0,1)");
1599 test_for_zero(t4ddg_1(0, 1, 0, 2) - (t4ddg_2(0, 1, 0, 2) / t2s_2(0, 2)),
1600 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,0,2)");
1601 test_for_zero(t4ddg_1(0, 1, 1, 0) - (t4ddg_2(0, 1, 1, 0) / t2s_2(1, 0)),
1602 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,1,0)");
1603 test_for_zero(t4ddg_1(0, 1, 1, 1) - (t4ddg_2(0, 1, 1, 1) / t2s_2(1, 1)),
1604 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,1,1)");
1605 test_for_zero(t4ddg_1(0, 1, 1, 2) - (t4ddg_2(0, 1, 1, 2) / t2s_2(1, 2)),
1606 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,1,2)");
1607 test_for_zero(t4ddg_1(0, 1, 2, 0) - (t4ddg_2(0, 1, 2, 0) / t2s_2(2, 0)),
1608 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,2,0)");
1609 test_for_zero(t4ddg_1(0, 1, 2, 1) - (t4ddg_2(0, 1, 2, 1) / t2s_2(2, 1)),
1610 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,2,1)");
1611 test_for_zero(t4ddg_1(0, 1, 2, 2) - (t4ddg_2(0, 1, 2, 2) / t2s_2(2, 2)),
1612 "T2s(k,l)%T4ddg(i,j,k,l)(0,1,2,2)");
1613 test_for_zero(t4ddg_1(0, 2, 0, 0) - (t4ddg_2(0, 2, 0, 0) / t2s_2(0, 0)),
1614 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,0,0)");
1615 test_for_zero(t4ddg_1(0, 2, 0, 1) - (t4ddg_2(0, 2, 0, 1) / t2s_2(0, 1)),
1616 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,0,1)");
1617 test_for_zero(t4ddg_1(0, 2, 0, 2) - (t4ddg_2(0, 2, 0, 2) / t2s_2(0, 2)),
1618 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,0,2)");
1619 test_for_zero(t4ddg_1(0, 2, 1, 0) - (t4ddg_2(0, 2, 1, 0) / t2s_2(1, 0)),
1620 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,1,0)");
1621 test_for_zero(t4ddg_1(0, 2, 1, 1) - (t4ddg_2(0, 2, 1, 1) / t2s_2(1, 1)),
1622 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,1,1)");
1623 test_for_zero(t4ddg_1(0, 2, 1, 2) - (t4ddg_2(0, 2, 1, 2) / t2s_2(1, 2)),
1624 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,1,2)");
1625 test_for_zero(t4ddg_1(0, 2, 2, 0) - (t4ddg_2(0, 2, 2, 0) / t2s_2(2, 0)),
1626 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,2,0)");
1627 test_for_zero(t4ddg_1(0, 2, 2, 1) - (t4ddg_2(0, 2, 2, 1) / t2s_2(2, 1)),
1628 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,2,1)");
1629 test_for_zero(t4ddg_1(0, 2, 2, 2) - (t4ddg_2(0, 2, 2, 2) / t2s_2(2, 2)),
1630 "T2s(k,l)%T4ddg(i,j,k,l)(0,2,2,2)");
1631 test_for_zero(t4ddg_1(1, 0, 0, 0) - (t4ddg_2(1, 0, 0, 0) / t2s_2(0, 0)),
1632 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,0,0)");
1633 test_for_zero(t4ddg_1(1, 0, 0, 1) - (t4ddg_2(1, 0, 0, 1) / t2s_2(0, 1)),
1634 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,0,1)");
1635 test_for_zero(t4ddg_1(1, 0, 0, 2) - (t4ddg_2(1, 0, 0, 2) / t2s_2(0, 2)),
1636 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,0,2)");
1637 test_for_zero(t4ddg_1(1, 0, 1, 0) - (t4ddg_2(1, 0, 1, 0) / t2s_2(1, 0)),
1638 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,1,0)");
1639 test_for_zero(t4ddg_1(1, 0, 1, 1) - (t4ddg_2(1, 0, 1, 1) / t2s_2(1, 1)),
1640 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,1,1)");
1641 test_for_zero(t4ddg_1(1, 0, 1, 2) - (t4ddg_2(1, 0, 1, 2) / t2s_2(1, 2)),
1642 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,1,2)");
1643 test_for_zero(t4ddg_1(1, 0, 2, 0) - (t4ddg_2(1, 0, 2, 0) / t2s_2(2, 0)),
1644 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,2,0)");
1645 test_for_zero(t4ddg_1(1, 0, 2, 1) - (t4ddg_2(1, 0, 2, 1) / t2s_2(2, 1)),
1646 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,2,1)");
1647 test_for_zero(t4ddg_1(1, 0, 2, 2) - (t4ddg_2(1, 0, 2, 2) / t2s_2(2, 2)),
1648 "T2s(k,l)%T4ddg(i,j,k,l)(1,0,2,2)");
1649 test_for_zero(t4ddg_1(1, 1, 0, 0) - (t4ddg_2(1, 1, 0, 0) / t2s_2(0, 0)),
1650 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,0,0)");
1651 test_for_zero(t4ddg_1(1, 1, 0, 1) - (t4ddg_2(1, 1, 0, 1) / t2s_2(0, 1)),
1652 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,0,1)");
1653 test_for_zero(t4ddg_1(1, 1, 0, 2) - (t4ddg_2(1, 1, 0, 2) / t2s_2(0, 2)),
1654 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,0,2)");
1655 test_for_zero(t4ddg_1(1, 1, 1, 0) - (t4ddg_2(1, 1, 1, 0) / t2s_2(1, 0)),
1656 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,1,0)");
1657 test_for_zero(t4ddg_1(1, 1, 1, 1) - (t4ddg_2(1, 1, 1, 1) / t2s_2(1, 1)),
1658 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,1,1)");
1659 test_for_zero(t4ddg_1(1, 1, 1, 2) - (t4ddg_2(1, 1, 1, 2) / t2s_2(1, 2)),
1660 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,1,2)");
1661 test_for_zero(t4ddg_1(1, 1, 2, 0) - (t4ddg_2(1, 1, 2, 0) / t2s_2(2, 0)),
1662 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,2,0)");
1663 test_for_zero(t4ddg_1(1, 1, 2, 1) - (t4ddg_2(1, 1, 2, 1) / t2s_2(2, 1)),
1664 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,2,1)");
1665 test_for_zero(t4ddg_1(1, 1, 2, 2) - (t4ddg_2(1, 1, 2, 2) / t2s_2(2, 2)),
1666 "T2s(k,l)%T4ddg(i,j,k,l)(1,1,2,2)");
1667 test_for_zero(t4ddg_1(1, 2, 0, 0) - (t4ddg_2(1, 2, 0, 0) / t2s_2(0, 0)),
1668 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,0,0)");
1669 test_for_zero(t4ddg_1(1, 2, 0, 1) - (t4ddg_2(1, 2, 0, 1) / t2s_2(0, 1)),
1670 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,0,1)");
1671 test_for_zero(t4ddg_1(1, 2, 0, 2) - (t4ddg_2(1, 2, 0, 2) / t2s_2(0, 2)),
1672 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,0,2)");
1673 test_for_zero(t4ddg_1(1, 2, 1, 0) - (t4ddg_2(1, 2, 1, 0) / t2s_2(1, 0)),
1674 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,1,0)");
1675 test_for_zero(t4ddg_1(1, 2, 1, 1) - (t4ddg_2(1, 2, 1, 1) / t2s_2(1, 1)),
1676 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,1,1)");
1677 test_for_zero(t4ddg_1(1, 2, 1, 2) - (t4ddg_2(1, 2, 1, 2) / t2s_2(1, 2)),
1678 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,1,2)");
1679 test_for_zero(t4ddg_1(1, 2, 2, 0) - (t4ddg_2(1, 2, 2, 0) / t2s_2(2, 0)),
1680 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,2,0)");
1681 test_for_zero(t4ddg_1(1, 2, 2, 1) - (t4ddg_2(1, 2, 2, 1) / t2s_2(2, 1)),
1682 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,2,1)");
1683 test_for_zero(t4ddg_1(1, 2, 2, 2) - (t4ddg_2(1, 2, 2, 2) / t2s_2(2, 2)),
1684 "T2s(k,l)%T4ddg(i,j,k,l)(1,2,2,2)");
1685 test_for_zero(t4ddg_1(2, 0, 0, 0) - (t4ddg_2(2, 0, 0, 0) / t2s_2(0, 0)),
1686 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,0,0)");
1687 test_for_zero(t4ddg_1(2, 0, 0, 1) - (t4ddg_2(2, 0, 0, 1) / t2s_2(0, 1)),
1688 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,0,1)");
1689 test_for_zero(t4ddg_1(2, 0, 0, 2) - (t4ddg_2(2, 0, 0, 2) / t2s_2(0, 2)),
1690 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,0,2)");
1691 test_for_zero(t4ddg_1(2, 0, 1, 0) - (t4ddg_2(2, 0, 1, 0) / t2s_2(1, 0)),
1692 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,1,0)");
1693 test_for_zero(t4ddg_1(2, 0, 1, 1) - (t4ddg_2(2, 0, 1, 1) / t2s_2(1, 1)),
1694 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,1,1)");
1695 test_for_zero(t4ddg_1(2, 0, 1, 2) - (t4ddg_2(2, 0, 1, 2) / t2s_2(1, 2)),
1696 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,1,2)");
1697 test_for_zero(t4ddg_1(2, 0, 2, 0) - (t4ddg_2(2, 0, 2, 0) / t2s_2(2, 0)),
1698 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,2,0)");
1699 test_for_zero(t4ddg_1(2, 0, 2, 1) - (t4ddg_2(2, 0, 2, 1) / t2s_2(2, 1)),
1700 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,2,1)");
1701 test_for_zero(t4ddg_1(2, 0, 2, 2) - (t4ddg_2(2, 0, 2, 2) / t2s_2(2, 2)),
1702 "T2s(k,l)%T4ddg(i,j,k,l)(2,0,2,2)");
1703 test_for_zero(t4ddg_1(2, 1, 0, 0) - (t4ddg_2(2, 1, 0, 0) / t2s_2(0, 0)),
1704 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,0,0)");
1705 test_for_zero(t4ddg_1(2, 1, 0, 1) - (t4ddg_2(2, 1, 0, 1) / t2s_2(0, 1)),
1706 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,0,1)");
1707 test_for_zero(t4ddg_1(2, 1, 0, 2) - (t4ddg_2(2, 1, 0, 2) / t2s_2(0, 2)),
1708 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,0,2)");
1709 test_for_zero(t4ddg_1(2, 1, 1, 0) - (t4ddg_2(2, 1, 1, 0) / t2s_2(1, 0)),
1710 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,1,0)");
1711 test_for_zero(t4ddg_1(2, 1, 1, 1) - (t4ddg_2(2, 1, 1, 1) / t2s_2(1, 1)),
1712 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,1,1)");
1713 test_for_zero(t4ddg_1(2, 1, 1, 2) - (t4ddg_2(2, 1, 1, 2) / t2s_2(1, 2)),
1714 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,1,2)");
1715 test_for_zero(t4ddg_1(2, 1, 2, 0) - (t4ddg_2(2, 1, 2, 0) / t2s_2(2, 0)),
1716 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,2,0)");
1717 test_for_zero(t4ddg_1(2, 1, 2, 1) - (t4ddg_2(2, 1, 2, 1) / t2s_2(2, 1)),
1718 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,2,1)");
1719 test_for_zero(t4ddg_1(2, 1, 2, 2) - (t4ddg_2(2, 1, 2, 2) / t2s_2(2, 2)),
1720 "T2s(k,l)%T4ddg(i,j,k,l)(2,1,2,2)");
1721 test_for_zero(t4ddg_1(2, 2, 0, 0) - (t4ddg_2(2, 2, 0, 0) / t2s_2(0, 0)),
1722 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,0,0)");
1723 test_for_zero(t4ddg_1(2, 2, 0, 1) - (t4ddg_2(2, 2, 0, 1) / t2s_2(0, 1)),
1724 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,0,1)");
1725 test_for_zero(t4ddg_1(2, 2, 0, 2) - (t4ddg_2(2, 2, 0, 2) / t2s_2(0, 2)),
1726 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,0,2)");
1727 test_for_zero(t4ddg_1(2, 2, 1, 0) - (t4ddg_2(2, 2, 1, 0) / t2s_2(1, 0)),
1728 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,1,0)");
1729 test_for_zero(t4ddg_1(2, 2, 1, 1) - (t4ddg_2(2, 2, 1, 1) / t2s_2(1, 1)),
1730 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,1,1)");
1731 test_for_zero(t4ddg_1(2, 2, 1, 2) - (t4ddg_2(2, 2, 1, 2) / t2s_2(1, 2)),
1732 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,1,2)");
1733 test_for_zero(t4ddg_1(2, 2, 2, 0) - (t4ddg_2(2, 2, 2, 0) / t2s_2(2, 0)),
1734 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,2,0)");
1735 test_for_zero(t4ddg_1(2, 2, 2, 1) - (t4ddg_2(2, 2, 2, 1) / t2s_2(2, 1)),
1736 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,2,1)");
1737 test_for_zero(t4ddg_1(2, 2, 2, 2) - (t4ddg_2(2, 2, 2, 2) / t2s_2(2, 2)),
1738 "T2s(k,l)%T4ddg(i,j,k,l)(2,2,2,2)");
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077}