15 for(
int ii = 0; ii < 1; ++ii)
18 - (t4(ii, 0, 0, 0) * t3_2(0, 0, 0)
19 + t4(ii, 0, 0, 1) * t3_2(0, 0, 1)
20 + t4(ii, 0, 0, 2) * t3_2(0, 0, 2)
21 + t4(ii, 0, 0, 3) * t3_2(0, 0, 3)
22 + t4(ii, 0, 1, 0) * t3_2(0, 1, 0)
23 + t4(ii, 0, 1, 1) * t3_2(0, 1, 1)
24 + t4(ii, 0, 1, 2) * t3_2(0, 1, 2)
25 + t4(ii, 0, 1, 3) * t3_2(0, 1, 3)
26 + t4(ii, 0, 2, 0) * t3_2(0, 2, 0)
27 + t4(ii, 0, 2, 1) * t3_2(0, 2, 1)
28 + t4(ii, 0, 2, 2) * t3_2(0, 2, 2)
29 + t4(ii, 0, 2, 3) * t3_2(0, 2, 3)
30 + t4(ii, 1, 0, 0) * t3_2(1, 0, 0)
31 + t4(ii, 1, 0, 1) * t3_2(1, 0, 1)
32 + t4(ii, 1, 0, 2) * t3_2(1, 0, 2)
33 + t4(ii, 1, 0, 3) * t3_2(1, 0, 3)
34 + t4(ii, 1, 1, 0) * t3_2(1, 1, 0)
35 + t4(ii, 1, 1, 1) * t3_2(1, 1, 1)
36 + t4(ii, 1, 1, 2) * t3_2(1, 1, 2)
37 + t4(ii, 1, 1, 3) * t3_2(1, 1, 3)
38 + t4(ii, 1, 2, 0) * t3_2(1, 2, 0)
39 + t4(ii, 1, 2, 1) * t3_2(1, 2, 1)
40 + t4(ii, 1, 2, 2) * t3_2(1, 2, 2)
41 + t4(ii, 1, 2, 3) * t3_2(1, 2, 3)),
42 "T4(i,j,k,l)*T3(j,k,l)(" + std::to_string(ii) +
")");
44 - (t4(ii, 0, 0, 0) * t3_2(0, 0, 0)
45 + t4(ii, 0, 0, 1) * t3_2(0, 0, 1)
46 + t4(ii, 0, 0, 2) * t3_2(0, 0, 2)
47 + t4(ii, 0, 0, 3) * t3_2(0, 0, 3)
48 + t4(ii, 0, 1, 0) * t3_2(0, 1, 0)
49 + t4(ii, 0, 1, 1) * t3_2(0, 1, 1)
50 + t4(ii, 0, 1, 2) * t3_2(0, 1, 2)
51 + t4(ii, 0, 1, 3) * t3_2(0, 1, 3)
52 + t4(ii, 0, 2, 0) * t3_2(0, 2, 0)
53 + t4(ii, 0, 2, 1) * t3_2(0, 2, 1)
54 + t4(ii, 0, 2, 2) * t3_2(0, 2, 2)
55 + t4(ii, 0, 2, 3) * t3_2(0, 2, 3)
56 + t4(ii, 1, 0, 0) * t3_2(1, 0, 0)
57 + t4(ii, 1, 0, 1) * t3_2(1, 0, 1)
58 + t4(ii, 1, 0, 2) * t3_2(1, 0, 2)
59 + t4(ii, 1, 0, 3) * t3_2(1, 0, 3)
60 + t4(ii, 1, 1, 0) * t3_2(1, 1, 0)
61 + t4(ii, 1, 1, 1) * t3_2(1, 1, 1)
62 + t4(ii, 1, 1, 2) * t3_2(1, 1, 2)
63 + t4(ii, 1, 1, 3) * t3_2(1, 1, 3)
64 + t4(ii, 1, 2, 0) * t3_2(1, 2, 0)
65 + t4(ii, 1, 2, 1) * t3_2(1, 2, 1)
66 + t4(ii, 1, 2, 2) * t3_2(1, 2, 2)
67 + t4(ii, 1, 2, 3) * t3_2(1, 2, 3)),
68 "T3(j,k,l)*T4(i,j,k,l)(" + std::to_string(ii) +
")");
72 t3(
j,
l,
k) = t3_2(
j,
k,
l);
74 for(
int ii = 0; ii < 1; ++ii)
77 (t4(
i,
j,
k,
l) * t3(
j,
l,
k))(ii)
78 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(0, 1, 0)
79 + t4(ii, 0, 0, 2) * t3(0, 2, 0) + t4(ii, 0, 0, 3) * t3(0, 3, 0)
80 + t4(ii, 0, 1, 0) * t3(0, 0, 1) + t4(ii, 0, 1, 1) * t3(0, 1, 1)
81 + t4(ii, 0, 1, 2) * t3(0, 2, 1) + t4(ii, 0, 1, 3) * t3(0, 3, 1)
82 + t4(ii, 0, 2, 0) * t3(0, 0, 2) + t4(ii, 0, 2, 1) * t3(0, 1, 2)
83 + t4(ii, 0, 2, 2) * t3(0, 2, 2) + t4(ii, 0, 2, 3) * t3(0, 3, 2)
84 + t4(ii, 1, 0, 0) * t3(1, 0, 0) + t4(ii, 1, 0, 1) * t3(1, 1, 0)
85 + t4(ii, 1, 0, 2) * t3(1, 2, 0) + t4(ii, 1, 0, 3) * t3(1, 3, 0)
86 + t4(ii, 1, 1, 0) * t3(1, 0, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
87 + t4(ii, 1, 1, 2) * t3(1, 2, 1) + t4(ii, 1, 1, 3) * t3(1, 3, 1)
88 + t4(ii, 1, 2, 0) * t3(1, 0, 2) + t4(ii, 1, 2, 1) * t3(1, 1, 2)
89 + t4(ii, 1, 2, 2) * t3(1, 2, 2)
90 + t4(ii, 1, 2, 3) * t3(1, 3, 2)),
91 "T4(i,j,k,l)*T3(j,l,k)(" + std::to_string(ii) +
")");
93 (t3(
j,
l,
k) * t4(
i,
j,
k,
l))(ii)
94 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(0, 1, 0)
95 + t4(ii, 0, 0, 2) * t3(0, 2, 0) + t4(ii, 0, 0, 3) * t3(0, 3, 0)
96 + t4(ii, 0, 1, 0) * t3(0, 0, 1) + t4(ii, 0, 1, 1) * t3(0, 1, 1)
97 + t4(ii, 0, 1, 2) * t3(0, 2, 1) + t4(ii, 0, 1, 3) * t3(0, 3, 1)
98 + t4(ii, 0, 2, 0) * t3(0, 0, 2) + t4(ii, 0, 2, 1) * t3(0, 1, 2)
99 + t4(ii, 0, 2, 2) * t3(0, 2, 2) + t4(ii, 0, 2, 3) * t3(0, 3, 2)
100 + t4(ii, 1, 0, 0) * t3(1, 0, 0) + t4(ii, 1, 0, 1) * t3(1, 1, 0)
101 + t4(ii, 1, 0, 2) * t3(1, 2, 0) + t4(ii, 1, 0, 3) * t3(1, 3, 0)
102 + t4(ii, 1, 1, 0) * t3(1, 0, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
103 + t4(ii, 1, 1, 2) * t3(1, 2, 1) + t4(ii, 1, 1, 3) * t3(1, 3, 1)
104 + t4(ii, 1, 2, 0) * t3(1, 0, 2) + t4(ii, 1, 2, 1) * t3(1, 1, 2)
105 + t4(ii, 1, 2, 2) * t3(1, 2, 2)
106 + t4(ii, 1, 2, 3) * t3(1, 3, 2)),
107 "T3(j,l,k)*T4(i,j,k,l)(" + std::to_string(ii) +
")");
112 t3(
k,
j,
l) = t3_2(
j,
k,
l);
114 for(
int ii = 0; ii < 1; ++ii)
117 (t4(
i,
j,
k,
l) * t3(
k,
j,
l))(ii)
118 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(0, 0, 1)
119 + t4(ii, 0, 0, 2) * t3(0, 0, 2) + t4(ii, 0, 0, 3) * t3(0, 0, 3)
120 + t4(ii, 0, 1, 0) * t3(1, 0, 0) + t4(ii, 0, 1, 1) * t3(1, 0, 1)
121 + t4(ii, 0, 1, 2) * t3(1, 0, 2) + t4(ii, 0, 1, 3) * t3(1, 0, 3)
122 + t4(ii, 0, 2, 0) * t3(2, 0, 0) + t4(ii, 0, 2, 1) * t3(2, 0, 1)
123 + t4(ii, 0, 2, 2) * t3(2, 0, 2) + t4(ii, 0, 2, 3) * t3(2, 0, 3)
124 + t4(ii, 1, 0, 0) * t3(0, 1, 0) + t4(ii, 1, 0, 1) * t3(0, 1, 1)
125 + t4(ii, 1, 0, 2) * t3(0, 1, 2) + t4(ii, 1, 0, 3) * t3(0, 1, 3)
126 + t4(ii, 1, 1, 0) * t3(1, 1, 0) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
127 + t4(ii, 1, 1, 2) * t3(1, 1, 2) + t4(ii, 1, 1, 3) * t3(1, 1, 3)
128 + t4(ii, 1, 2, 0) * t3(2, 1, 0) + t4(ii, 1, 2, 1) * t3(2, 1, 1)
129 + t4(ii, 1, 2, 2) * t3(2, 1, 2)
130 + t4(ii, 1, 2, 3) * t3(2, 1, 3)),
131 "T4(i,j,k,l)*T3(k,j,l)(" + std::to_string(ii) +
")");
133 (t3(
k,
j,
l) * t4(
i,
j,
k,
l))(ii)
134 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(0, 0, 1)
135 + t4(ii, 0, 0, 2) * t3(0, 0, 2) + t4(ii, 0, 0, 3) * t3(0, 0, 3)
136 + t4(ii, 0, 1, 0) * t3(1, 0, 0) + t4(ii, 0, 1, 1) * t3(1, 0, 1)
137 + t4(ii, 0, 1, 2) * t3(1, 0, 2) + t4(ii, 0, 1, 3) * t3(1, 0, 3)
138 + t4(ii, 0, 2, 0) * t3(2, 0, 0) + t4(ii, 0, 2, 1) * t3(2, 0, 1)
139 + t4(ii, 0, 2, 2) * t3(2, 0, 2) + t4(ii, 0, 2, 3) * t3(2, 0, 3)
140 + t4(ii, 1, 0, 0) * t3(0, 1, 0) + t4(ii, 1, 0, 1) * t3(0, 1, 1)
141 + t4(ii, 1, 0, 2) * t3(0, 1, 2) + t4(ii, 1, 0, 3) * t3(0, 1, 3)
142 + t4(ii, 1, 1, 0) * t3(1, 1, 0) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
143 + t4(ii, 1, 1, 2) * t3(1, 1, 2) + t4(ii, 1, 1, 3) * t3(1, 1, 3)
144 + t4(ii, 1, 2, 0) * t3(2, 1, 0) + t4(ii, 1, 2, 1) * t3(2, 1, 1)
145 + t4(ii, 1, 2, 2) * t3(2, 1, 2)
146 + t4(ii, 1, 2, 3) * t3(2, 1, 3)),
147 "T3(k,j,l)*T4(i,j,k,l)(" + std::to_string(ii) +
")");
152 t3(
k,
l,
j) = t3_2(
j,
k,
l);
153 for(
int ii = 0; ii < 1; ++ii)
156 (t4(
i,
j,
k,
l) * t3(
k,
l,
j))(ii)
157 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(0, 1, 0)
158 + t4(ii, 0, 0, 2) * t3(0, 2, 0) + t4(ii, 0, 0, 3) * t3(0, 3, 0)
159 + t4(ii, 0, 1, 0) * t3(1, 0, 0) + t4(ii, 0, 1, 1) * t3(1, 1, 0)
160 + t4(ii, 0, 1, 2) * t3(1, 2, 0) + t4(ii, 0, 1, 3) * t3(1, 3, 0)
161 + t4(ii, 0, 2, 0) * t3(2, 0, 0) + t4(ii, 0, 2, 1) * t3(2, 1, 0)
162 + t4(ii, 0, 2, 2) * t3(2, 2, 0) + t4(ii, 0, 2, 3) * t3(2, 3, 0)
163 + t4(ii, 1, 0, 0) * t3(0, 0, 1) + t4(ii, 1, 0, 1) * t3(0, 1, 1)
164 + t4(ii, 1, 0, 2) * t3(0, 2, 1) + t4(ii, 1, 0, 3) * t3(0, 3, 1)
165 + t4(ii, 1, 1, 0) * t3(1, 0, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
166 + t4(ii, 1, 1, 2) * t3(1, 2, 1) + t4(ii, 1, 1, 3) * t3(1, 3, 1)
167 + t4(ii, 1, 2, 0) * t3(2, 0, 1) + t4(ii, 1, 2, 1) * t3(2, 1, 1)
168 + t4(ii, 1, 2, 2) * t3(2, 2, 1)
169 + t4(ii, 1, 2, 3) * t3(2, 3, 1)),
170 "T4(i,j,k,l)*T3(k,l,j)(" + std::to_string(ii) +
")");
172 (t3(
k,
l,
j) * t4(
i,
j,
k,
l))(ii)
173 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(0, 1, 0)
174 + t4(ii, 0, 0, 2) * t3(0, 2, 0) + t4(ii, 0, 0, 3) * t3(0, 3, 0)
175 + t4(ii, 0, 1, 0) * t3(1, 0, 0) + t4(ii, 0, 1, 1) * t3(1, 1, 0)
176 + t4(ii, 0, 1, 2) * t3(1, 2, 0) + t4(ii, 0, 1, 3) * t3(1, 3, 0)
177 + t4(ii, 0, 2, 0) * t3(2, 0, 0) + t4(ii, 0, 2, 1) * t3(2, 1, 0)
178 + t4(ii, 0, 2, 2) * t3(2, 2, 0) + t4(ii, 0, 2, 3) * t3(2, 3, 0)
179 + t4(ii, 1, 0, 0) * t3(0, 0, 1) + t4(ii, 1, 0, 1) * t3(0, 1, 1)
180 + t4(ii, 1, 0, 2) * t3(0, 2, 1) + t4(ii, 1, 0, 3) * t3(0, 3, 1)
181 + t4(ii, 1, 1, 0) * t3(1, 0, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
182 + t4(ii, 1, 1, 2) * t3(1, 2, 1) + t4(ii, 1, 1, 3) * t3(1, 3, 1)
183 + t4(ii, 1, 2, 0) * t3(2, 0, 1) + t4(ii, 1, 2, 1) * t3(2, 1, 1)
184 + t4(ii, 1, 2, 2) * t3(2, 2, 1)
185 + t4(ii, 1, 2, 3) * t3(2, 3, 1)),
186 "T3(k,l,j)*T4(i,j,k,l)(" + std::to_string(ii) +
")");
191 t3(
l,
j,
k) = t3_2(
j,
k,
l);
192 for(
int ii = 0; ii < 1; ++ii)
195 (t4(
i,
j,
k,
l) * t3(
l,
j,
k))(ii)
196 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(1, 0, 0)
197 + t4(ii, 0, 0, 2) * t3(2, 0, 0) + t4(ii, 0, 0, 3) * t3(3, 0, 0)
198 + t4(ii, 0, 1, 0) * t3(0, 0, 1) + t4(ii, 0, 1, 1) * t3(1, 0, 1)
199 + t4(ii, 0, 1, 2) * t3(2, 0, 1) + t4(ii, 0, 1, 3) * t3(3, 0, 1)
200 + t4(ii, 0, 2, 0) * t3(0, 0, 2) + t4(ii, 0, 2, 1) * t3(1, 0, 2)
201 + t4(ii, 0, 2, 2) * t3(2, 0, 2) + t4(ii, 0, 2, 3) * t3(3, 0, 2)
202 + t4(ii, 1, 0, 0) * t3(0, 1, 0) + t4(ii, 1, 0, 1) * t3(1, 1, 0)
203 + t4(ii, 1, 0, 2) * t3(2, 1, 0) + t4(ii, 1, 0, 3) * t3(3, 1, 0)
204 + t4(ii, 1, 1, 0) * t3(0, 1, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
205 + t4(ii, 1, 1, 2) * t3(2, 1, 1) + t4(ii, 1, 1, 3) * t3(3, 1, 1)
206 + t4(ii, 1, 2, 0) * t3(0, 1, 2) + t4(ii, 1, 2, 1) * t3(1, 1, 2)
207 + t4(ii, 1, 2, 2) * t3(2, 1, 2)
208 + t4(ii, 1, 2, 3) * t3(3, 1, 2)),
209 "T4(i,j,k,l)*T3(l,j,k)(" + std::to_string(ii) +
")");
211 (t3(
l,
j,
k) * t4(
i,
j,
k,
l))(ii)
212 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(1, 0, 0)
213 + t4(ii, 0, 0, 2) * t3(2, 0, 0) + t4(ii, 0, 0, 3) * t3(3, 0, 0)
214 + t4(ii, 0, 1, 0) * t3(0, 0, 1) + t4(ii, 0, 1, 1) * t3(1, 0, 1)
215 + t4(ii, 0, 1, 2) * t3(2, 0, 1) + t4(ii, 0, 1, 3) * t3(3, 0, 1)
216 + t4(ii, 0, 2, 0) * t3(0, 0, 2) + t4(ii, 0, 2, 1) * t3(1, 0, 2)
217 + t4(ii, 0, 2, 2) * t3(2, 0, 2) + t4(ii, 0, 2, 3) * t3(3, 0, 2)
218 + t4(ii, 1, 0, 0) * t3(0, 1, 0) + t4(ii, 1, 0, 1) * t3(1, 1, 0)
219 + t4(ii, 1, 0, 2) * t3(2, 1, 0) + t4(ii, 1, 0, 3) * t3(3, 1, 0)
220 + t4(ii, 1, 1, 0) * t3(0, 1, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
221 + t4(ii, 1, 1, 2) * t3(2, 1, 1) + t4(ii, 1, 1, 3) * t3(3, 1, 1)
222 + t4(ii, 1, 2, 0) * t3(0, 1, 2) + t4(ii, 1, 2, 1) * t3(1, 1, 2)
223 + t4(ii, 1, 2, 2) * t3(2, 1, 2)
224 + t4(ii, 1, 2, 3) * t3(3, 1, 2)),
225 "T3(l,j,k)*T4(i,j,k,l)(" + std::to_string(ii) +
")");
230 t3(
l,
k,
j) = t3_2(
j,
k,
l);
232 for(
int ii = 0; ii < 1; ++ii)
235 (t4(
i,
j,
k,
l) * t3(
l,
k,
j))(ii)
236 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(1, 0, 0)
237 + t4(ii, 0, 0, 2) * t3(2, 0, 0) + t4(ii, 0, 0, 3) * t3(3, 0, 0)
238 + t4(ii, 0, 1, 0) * t3(0, 1, 0) + t4(ii, 0, 1, 1) * t3(1, 1, 0)
239 + t4(ii, 0, 1, 2) * t3(2, 1, 0) + t4(ii, 0, 1, 3) * t3(3, 1, 0)
240 + t4(ii, 0, 2, 0) * t3(0, 2, 0) + t4(ii, 0, 2, 1) * t3(1, 2, 0)
241 + t4(ii, 0, 2, 2) * t3(2, 2, 0) + t4(ii, 0, 2, 3) * t3(3, 2, 0)
242 + t4(ii, 1, 0, 0) * t3(0, 0, 1) + t4(ii, 1, 0, 1) * t3(1, 0, 1)
243 + t4(ii, 1, 0, 2) * t3(2, 0, 1) + t4(ii, 1, 0, 3) * t3(3, 0, 1)
244 + t4(ii, 1, 1, 0) * t3(0, 1, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
245 + t4(ii, 1, 1, 2) * t3(2, 1, 1) + t4(ii, 1, 1, 3) * t3(3, 1, 1)
246 + t4(ii, 1, 2, 0) * t3(0, 2, 1) + t4(ii, 1, 2, 1) * t3(1, 2, 1)
247 + t4(ii, 1, 2, 2) * t3(2, 2, 1)
248 + t4(ii, 1, 2, 3) * t3(3, 2, 1)),
249 "T4(i,j,k,l)*T3(l,k,j)(" + std::to_string(ii) +
")");
251 (t3(
l,
k,
j) * t4(
i,
j,
k,
l))(ii)
252 - (t4(ii, 0, 0, 0) * t3(0, 0, 0) + t4(ii, 0, 0, 1) * t3(1, 0, 0)
253 + t4(ii, 0, 0, 2) * t3(2, 0, 0) + t4(ii, 0, 0, 3) * t3(3, 0, 0)
254 + t4(ii, 0, 1, 0) * t3(0, 1, 0) + t4(ii, 0, 1, 1) * t3(1, 1, 0)
255 + t4(ii, 0, 1, 2) * t3(2, 1, 0) + t4(ii, 0, 1, 3) * t3(3, 1, 0)
256 + t4(ii, 0, 2, 0) * t3(0, 2, 0) + t4(ii, 0, 2, 1) * t3(1, 2, 0)
257 + t4(ii, 0, 2, 2) * t3(2, 2, 0) + t4(ii, 0, 2, 3) * t3(3, 2, 0)
258 + t4(ii, 1, 0, 0) * t3(0, 0, 1) + t4(ii, 1, 0, 1) * t3(1, 0, 1)
259 + t4(ii, 1, 0, 2) * t3(2, 0, 1) + t4(ii, 1, 0, 3) * t3(3, 0, 1)
260 + t4(ii, 1, 1, 0) * t3(0, 1, 1) + t4(ii, 1, 1, 1) * t3(1, 1, 1)
261 + t4(ii, 1, 1, 2) * t3(2, 1, 1) + t4(ii, 1, 1, 3) * t3(3, 1, 1)
262 + t4(ii, 1, 2, 0) * t3(0, 2, 1) + t4(ii, 1, 2, 1) * t3(1, 2, 1)
263 + t4(ii, 1, 2, 2) * t3(2, 2, 1)
264 + t4(ii, 1, 2, 3) * t3(3, 2, 1)),
265 "T3(l,k,j)*T4(i,j,k,l)(" + std::to_string(ii) +
")");
269 for(
int jj = 0; jj < 2; ++jj)
272 - (t4(0, jj, 0, 0) * t3_2(0, 0, 0)
273 + t4(0, jj, 0, 1) * t3_2(0, 0, 1)
274 + t4(0, jj, 0, 2) * t3_2(0, 0, 2)
275 + t4(0, jj, 0, 3) * t3_2(0, 0, 3)
276 + t4(0, jj, 1, 0) * t3_2(0, 1, 0)
277 + t4(0, jj, 1, 1) * t3_2(0, 1, 1)
278 + t4(0, jj, 1, 2) * t3_2(0, 1, 2)
279 + t4(0, jj, 1, 3) * t3_2(0, 1, 3)
280 + t4(0, jj, 2, 0) * t3_2(0, 2, 0)
281 + t4(0, jj, 2, 1) * t3_2(0, 2, 1)
282 + t4(0, jj, 2, 2) * t3_2(0, 2, 2)
283 + t4(0, jj, 2, 3) * t3_2(0, 2, 3)),
284 "T4(i,j,k,l)*T3(i,k,l)(" + std::to_string(jj) +
")");
286 - (t4(0, jj, 0, 0) * t3_2(0, 0, 0)
287 + t4(0, jj, 0, 1) * t3_2(0, 0, 1)
288 + t4(0, jj, 0, 2) * t3_2(0, 0, 2)
289 + t4(0, jj, 0, 3) * t3_2(0, 0, 3)
290 + t4(0, jj, 1, 0) * t3_2(0, 1, 0)
291 + t4(0, jj, 1, 1) * t3_2(0, 1, 1)
292 + t4(0, jj, 1, 2) * t3_2(0, 1, 2)
293 + t4(0, jj, 1, 3) * t3_2(0, 1, 3)
294 + t4(0, jj, 2, 0) * t3_2(0, 2, 0)
295 + t4(0, jj, 2, 1) * t3_2(0, 2, 1)
296 + t4(0, jj, 2, 2) * t3_2(0, 2, 2)
297 + t4(0, jj, 2, 3) * t3_2(0, 2, 3)),
298 "T3(i,k,l)*T4(i,j,k,l)(" + std::to_string(jj) +
")");
302 t3(
j,
l,
k) = t3_2(
j,
k,
l);
304 for(
int jj = 0; jj < 2; ++jj)
307 (t4(
i,
j,
k,
l) * t3(
i,
l,
k))(jj)
308 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(0, 1, 0)
309 + t4(0, jj, 0, 2) * t3(0, 2, 0) + t4(0, jj, 0, 3) * t3(0, 3, 0)
310 + t4(0, jj, 1, 0) * t3(0, 0, 1) + t4(0, jj, 1, 1) * t3(0, 1, 1)
311 + t4(0, jj, 1, 2) * t3(0, 2, 1) + t4(0, jj, 1, 3) * t3(0, 3, 1)
312 + t4(0, jj, 2, 0) * t3(0, 0, 2) + t4(0, jj, 2, 1) * t3(0, 1, 2)
313 + t4(0, jj, 2, 2) * t3(0, 2, 2)
314 + t4(0, jj, 2, 3) * t3(0, 3, 2)),
315 "T4(i,j,k,l)*T3(i,l,k)(" + std::to_string(jj) +
")");
317 (t3(
i,
l,
k) * t4(
i,
j,
k,
l))(jj)
318 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(0, 1, 0)
319 + t4(0, jj, 0, 2) * t3(0, 2, 0) + t4(0, jj, 0, 3) * t3(0, 3, 0)
320 + t4(0, jj, 1, 0) * t3(0, 0, 1) + t4(0, jj, 1, 1) * t3(0, 1, 1)
321 + t4(0, jj, 1, 2) * t3(0, 2, 1) + t4(0, jj, 1, 3) * t3(0, 3, 1)
322 + t4(0, jj, 2, 0) * t3(0, 0, 2) + t4(0, jj, 2, 1) * t3(0, 1, 2)
323 + t4(0, jj, 2, 2) * t3(0, 2, 2)
324 + t4(0, jj, 2, 3) * t3(0, 3, 2)),
325 "T3(i,l,k)*T4(i,j,k,l)(" + std::to_string(jj) +
")");
330 t3(
k,
j,
l) = t3_2(
j,
k,
l);
332 for(
int jj = 0; jj < 2; ++jj)
335 (t4(
i,
j,
k,
l) * t3(
k,
i,
l))(jj)
336 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(0, 0, 1)
337 + t4(0, jj, 0, 2) * t3(0, 0, 2) + t4(0, jj, 0, 3) * t3(0, 0, 3)
338 + t4(0, jj, 1, 0) * t3(1, 0, 0) + t4(0, jj, 1, 1) * t3(1, 0, 1)
339 + t4(0, jj, 1, 2) * t3(1, 0, 2) + t4(0, jj, 1, 3) * t3(1, 0, 3)
340 + t4(0, jj, 2, 0) * t3(2, 0, 0) + t4(0, jj, 2, 1) * t3(2, 0, 1)
341 + t4(0, jj, 2, 2) * t3(2, 0, 2)
342 + t4(0, jj, 2, 3) * t3(2, 0, 3)),
343 "T4(i,j,k,l)*T3(k,i,l)(" + std::to_string(jj) +
")");
345 (t3(
k,
i,
l) * t4(
i,
j,
k,
l))(jj)
346 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(0, 0, 1)
347 + t4(0, jj, 0, 2) * t3(0, 0, 2) + t4(0, jj, 0, 3) * t3(0, 0, 3)
348 + t4(0, jj, 1, 0) * t3(1, 0, 0) + t4(0, jj, 1, 1) * t3(1, 0, 1)
349 + t4(0, jj, 1, 2) * t3(1, 0, 2) + t4(0, jj, 1, 3) * t3(1, 0, 3)
350 + t4(0, jj, 2, 0) * t3(2, 0, 0) + t4(0, jj, 2, 1) * t3(2, 0, 1)
351 + t4(0, jj, 2, 2) * t3(2, 0, 2)
352 + t4(0, jj, 2, 3) * t3(2, 0, 3)),
353 "T3(k,i,l)*T4(i,j,k,l)(" + std::to_string(jj) +
")");
358 t3(
k,
l,
j) = t3_2(
j,
k,
l);
359 for(
int jj = 0; jj < 2; ++jj)
362 (t4(
i,
j,
k,
l) * t3(
k,
l,
i))(jj)
363 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(0, 1, 0)
364 + t4(0, jj, 0, 2) * t3(0, 2, 0) + t4(0, jj, 0, 3) * t3(0, 3, 0)
365 + t4(0, jj, 1, 0) * t3(1, 0, 0) + t4(0, jj, 1, 1) * t3(1, 1, 0)
366 + t4(0, jj, 1, 2) * t3(1, 2, 0) + t4(0, jj, 1, 3) * t3(1, 3, 0)
367 + t4(0, jj, 2, 0) * t3(2, 0, 0) + t4(0, jj, 2, 1) * t3(2, 1, 0)
368 + t4(0, jj, 2, 2) * t3(2, 2, 0)
369 + t4(0, jj, 2, 3) * t3(2, 3, 0)),
370 "T4(i,j,k,l)*T3(k,l,i)(" + std::to_string(jj) +
")");
372 (t3(
k,
l,
i) * t4(
i,
j,
k,
l))(jj)
373 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(0, 1, 0)
374 + t4(0, jj, 0, 2) * t3(0, 2, 0) + t4(0, jj, 0, 3) * t3(0, 3, 0)
375 + t4(0, jj, 1, 0) * t3(1, 0, 0) + t4(0, jj, 1, 1) * t3(1, 1, 0)
376 + t4(0, jj, 1, 2) * t3(1, 2, 0) + t4(0, jj, 1, 3) * t3(1, 3, 0)
377 + t4(0, jj, 2, 0) * t3(2, 0, 0) + t4(0, jj, 2, 1) * t3(2, 1, 0)
378 + t4(0, jj, 2, 2) * t3(2, 2, 0)
379 + t4(0, jj, 2, 3) * t3(2, 3, 0)),
380 "T3(k,l,i)*T4(i,j,k,l)(" + std::to_string(jj) +
")");
385 t3(
l,
j,
k) = t3_2(
j,
k,
l);
386 for(
int jj = 0; jj < 2; ++jj)
389 (t4(
i,
j,
k,
l) * t3(
l,
i,
k))(jj)
390 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(1, 0, 0)
391 + t4(0, jj, 0, 2) * t3(2, 0, 0) + t4(0, jj, 0, 3) * t3(3, 0, 0)
392 + t4(0, jj, 1, 0) * t3(0, 0, 1) + t4(0, jj, 1, 1) * t3(1, 0, 1)
393 + t4(0, jj, 1, 2) * t3(2, 0, 1) + t4(0, jj, 1, 3) * t3(3, 0, 1)
394 + t4(0, jj, 2, 0) * t3(0, 0, 2) + t4(0, jj, 2, 1) * t3(1, 0, 2)
395 + t4(0, jj, 2, 2) * t3(2, 0, 2)
396 + t4(0, jj, 2, 3) * t3(3, 0, 2)),
397 "T4(i,j,k,l)*T3(l,i,k)(" + std::to_string(jj) +
")");
399 (t3(
l,
i,
k) * t4(
i,
j,
k,
l))(jj)
400 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(1, 0, 0)
401 + t4(0, jj, 0, 2) * t3(2, 0, 0) + t4(0, jj, 0, 3) * t3(3, 0, 0)
402 + t4(0, jj, 1, 0) * t3(0, 0, 1) + t4(0, jj, 1, 1) * t3(1, 0, 1)
403 + t4(0, jj, 1, 2) * t3(2, 0, 1) + t4(0, jj, 1, 3) * t3(3, 0, 1)
404 + t4(0, jj, 2, 0) * t3(0, 0, 2) + t4(0, jj, 2, 1) * t3(1, 0, 2)
405 + t4(0, jj, 2, 2) * t3(2, 0, 2)
406 + t4(0, jj, 2, 3) * t3(3, 0, 2)),
407 "T3(l,i,k)*T4(i,j,k,l)(" + std::to_string(jj) +
")");
412 t3(
l,
k,
j) = t3_2(
j,
k,
l);
414 for(
int jj = 0; jj < 2; ++jj)
417 (t4(
i,
j,
k,
l) * t3(
l,
k,
i))(jj)
418 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(1, 0, 0)
419 + t4(0, jj, 0, 2) * t3(2, 0, 0) + t4(0, jj, 0, 3) * t3(3, 0, 0)
420 + t4(0, jj, 1, 0) * t3(0, 1, 0) + t4(0, jj, 1, 1) * t3(1, 1, 0)
421 + t4(0, jj, 1, 2) * t3(2, 1, 0) + t4(0, jj, 1, 3) * t3(3, 1, 0)
422 + t4(0, jj, 2, 0) * t3(0, 2, 0) + t4(0, jj, 2, 1) * t3(1, 2, 0)
423 + t4(0, jj, 2, 2) * t3(2, 2, 0)
424 + t4(0, jj, 2, 3) * t3(3, 2, 0)),
425 "T4(i,j,k,l)*T3(l,k,i)(" + std::to_string(jj) +
")");
427 (t3(
l,
k,
i) * t4(
i,
j,
k,
l))(jj)
428 - (t4(0, jj, 0, 0) * t3(0, 0, 0) + t4(0, jj, 0, 1) * t3(1, 0, 0)
429 + t4(0, jj, 0, 2) * t3(2, 0, 0) + t4(0, jj, 0, 3) * t3(3, 0, 0)
430 + t4(0, jj, 1, 0) * t3(0, 1, 0) + t4(0, jj, 1, 1) * t3(1, 1, 0)
431 + t4(0, jj, 1, 2) * t3(2, 1, 0) + t4(0, jj, 1, 3) * t3(3, 1, 0)
432 + t4(0, jj, 2, 0) * t3(0, 2, 0) + t4(0, jj, 2, 1) * t3(1, 2, 0)
433 + t4(0, jj, 2, 2) * t3(2, 2, 0)
434 + t4(0, jj, 2, 3) * t3(3, 2, 0)),
435 "T3(l,k,i)*T4(i,j,k,l)(" + std::to_string(jj) +
")");
439 for(
int kk = 0; kk < 3; ++kk)
442 - (t4(0, 0, kk, 0) * t3_2(0, 0, 0)
443 + t4(0, 0, kk, 1) * t3_2(0, 0, 1)
444 + t4(0, 0, kk, 2) * t3_2(0, 0, 2)
445 + t4(0, 0, kk, 3) * t3_2(0, 0, 3)
446 + t4(0, 1, kk, 0) * t3_2(0, 1, 0)
447 + t4(0, 1, kk, 1) * t3_2(0, 1, 1)
448 + t4(0, 1, kk, 2) * t3_2(0, 1, 2)
449 + t4(0, 1, kk, 3) * t3_2(0, 1, 3)),
450 "T4(i,j,k,l)*T3(i,j,l)(" + std::to_string(kk) +
")");
452 - (t4(0, 0, kk, 0) * t3_2(0, 0, 0)
453 + t4(0, 0, kk, 1) * t3_2(0, 0, 1)
454 + t4(0, 0, kk, 2) * t3_2(0, 0, 2)
455 + t4(0, 0, kk, 3) * t3_2(0, 0, 3)
456 + t4(0, 1, kk, 0) * t3_2(0, 1, 0)
457 + t4(0, 1, kk, 1) * t3_2(0, 1, 1)
458 + t4(0, 1, kk, 2) * t3_2(0, 1, 2)
459 + t4(0, 1, kk, 3) * t3_2(0, 1, 3)),
460 "T3(i,j,l)*T4(i,j,k,l)(" + std::to_string(kk) +
")");
464 t3(
j,
l,
k) = t3_2(
j,
k,
l);
466 for(
int kk = 0; kk < 3; ++kk)
469 (t4(
i,
j,
k,
l) * t3(
i,
l,
j))(kk)
470 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(0, 1, 0)
471 + t4(0, 0, kk, 2) * t3(0, 2, 0) + t4(0, 0, kk, 3) * t3(0, 3, 0)
472 + t4(0, 1, kk, 0) * t3(0, 0, 1) + t4(0, 1, kk, 1) * t3(0, 1, 1)
473 + t4(0, 1, kk, 2) * t3(0, 2, 1)
474 + t4(0, 1, kk, 3) * t3(0, 3, 1)),
475 "T4(i,j,k,l)*T3(i,l,j)(" + std::to_string(kk) +
")");
477 (t3(
i,
l,
j) * t4(
i,
j,
k,
l))(kk)
478 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(0, 1, 0)
479 + t4(0, 0, kk, 2) * t3(0, 2, 0) + t4(0, 0, kk, 3) * t3(0, 3, 0)
480 + t4(0, 1, kk, 0) * t3(0, 0, 1) + t4(0, 1, kk, 1) * t3(0, 1, 1)
481 + t4(0, 1, kk, 2) * t3(0, 2, 1)
482 + t4(0, 1, kk, 3) * t3(0, 3, 1)),
483 "T3(i,l,j)*T4(i,j,k,l)(" + std::to_string(kk) +
")");
488 t3(
k,
j,
l) = t3_2(
j,
k,
l);
490 for(
int kk = 0; kk < 3; ++kk)
493 (t4(
i,
j,
k,
l) * t3(
j,
i,
l))(kk)
494 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(0, 0, 1)
495 + t4(0, 0, kk, 2) * t3(0, 0, 2) + t4(0, 0, kk, 3) * t3(0, 0, 3)
496 + t4(0, 1, kk, 0) * t3(1, 0, 0) + t4(0, 1, kk, 1) * t3(1, 0, 1)
497 + t4(0, 1, kk, 2) * t3(1, 0, 2)
498 + t4(0, 1, kk, 3) * t3(1, 0, 3)),
499 "T4(i,j,k,l)*T3(j,i,l)(" + std::to_string(kk) +
")");
501 (t3(
j,
i,
l) * t4(
i,
j,
k,
l))(kk)
502 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(0, 0, 1)
503 + t4(0, 0, kk, 2) * t3(0, 0, 2) + t4(0, 0, kk, 3) * t3(0, 0, 3)
504 + t4(0, 1, kk, 0) * t3(1, 0, 0) + t4(0, 1, kk, 1) * t3(1, 0, 1)
505 + t4(0, 1, kk, 2) * t3(1, 0, 2)
506 + t4(0, 1, kk, 3) * t3(1, 0, 3)),
507 "T3(j,i,l)*T4(i,j,k,l)(" + std::to_string(kk) +
")");
512 t3(
k,
l,
j) = t3_2(
j,
k,
l);
513 for(
int kk = 0; kk < 3; ++kk)
516 (t4(
i,
j,
k,
l) * t3(
j,
l,
i))(kk)
517 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(0, 1, 0)
518 + t4(0, 0, kk, 2) * t3(0, 2, 0) + t4(0, 0, kk, 3) * t3(0, 3, 0)
519 + t4(0, 1, kk, 0) * t3(1, 0, 0) + t4(0, 1, kk, 1) * t3(1, 1, 0)
520 + t4(0, 1, kk, 2) * t3(1, 2, 0)
521 + t4(0, 1, kk, 3) * t3(1, 3, 0)),
522 "T4(i,j,k,l)*T3(j,l,i)(" + std::to_string(kk) +
")");
524 (t3(
j,
l,
i) * t4(
i,
j,
k,
l))(kk)
525 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(0, 1, 0)
526 + t4(0, 0, kk, 2) * t3(0, 2, 0) + t4(0, 0, kk, 3) * t3(0, 3, 0)
527 + t4(0, 1, kk, 0) * t3(1, 0, 0) + t4(0, 1, kk, 1) * t3(1, 1, 0)
528 + t4(0, 1, kk, 2) * t3(1, 2, 0)
529 + t4(0, 1, kk, 3) * t3(1, 3, 0)),
530 "T3(j,l,i)*T4(i,j,k,l)(" + std::to_string(kk) +
")");
535 t3(
l,
j,
k) = t3_2(
j,
k,
l);
536 for(
int kk = 0; kk < 3; ++kk)
539 (t4(
i,
j,
k,
l) * t3(
l,
i,
j))(kk)
540 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(1, 0, 0)
541 + t4(0, 0, kk, 2) * t3(2, 0, 0) + t4(0, 0, kk, 3) * t3(3, 0, 0)
542 + t4(0, 1, kk, 0) * t3(0, 0, 1) + t4(0, 1, kk, 1) * t3(1, 0, 1)
543 + t4(0, 1, kk, 2) * t3(2, 0, 1)
544 + t4(0, 1, kk, 3) * t3(3, 0, 1)),
545 "T4(i,j,k,l)*T3(l,i,j)(" + std::to_string(kk) +
")");
547 (t3(
l,
i,
j) * t4(
i,
j,
k,
l))(kk)
548 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(1, 0, 0)
549 + t4(0, 0, kk, 2) * t3(2, 0, 0) + t4(0, 0, kk, 3) * t3(3, 0, 0)
550 + t4(0, 1, kk, 0) * t3(0, 0, 1) + t4(0, 1, kk, 1) * t3(1, 0, 1)
551 + t4(0, 1, kk, 2) * t3(2, 0, 1)
552 + t4(0, 1, kk, 3) * t3(3, 0, 1)),
553 "T3(l,i,j)*T4(i,j,k,l)(" + std::to_string(kk) +
")");
558 t3(
l,
k,
j) = t3_2(
j,
k,
l);
560 for(
int kk = 0; kk < 3; ++kk)
563 (t4(
i,
j,
k,
l) * t3(
l,
j,
i))(kk)
564 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(1, 0, 0)
565 + t4(0, 0, kk, 2) * t3(2, 0, 0) + t4(0, 0, kk, 3) * t3(3, 0, 0)
566 + t4(0, 1, kk, 0) * t3(0, 1, 0) + t4(0, 1, kk, 1) * t3(1, 1, 0)
567 + t4(0, 1, kk, 2) * t3(2, 1, 0)
568 + t4(0, 1, kk, 3) * t3(3, 1, 0)),
569 "T4(i,j,k,l)*T3(l,j,i)(" + std::to_string(kk) +
")");
571 (t3(
l,
j,
i) * t4(
i,
j,
k,
l))(kk)
572 - (t4(0, 0, kk, 0) * t3(0, 0, 0) + t4(0, 0, kk, 1) * t3(1, 0, 0)
573 + t4(0, 0, kk, 2) * t3(2, 0, 0) + t4(0, 0, kk, 3) * t3(3, 0, 0)
574 + t4(0, 1, kk, 0) * t3(0, 1, 0) + t4(0, 1, kk, 1) * t3(1, 1, 0)
575 + t4(0, 1, kk, 2) * t3(2, 1, 0)
576 + t4(0, 1, kk, 3) * t3(3, 1, 0)),
577 "T3(l,j,i)*T4(i,j,k,l)(" + std::to_string(kk) +
")");
583 for(
int ll = 0; ll < 4; ++ll)
586 - (t4(0, 0, 0, ll) * t3_2(0, 0, 0)
587 + t4(0, 0, 1, ll) * t3_2(0, 0, 1)
588 + t4(0, 0, 2, ll) * t3_2(0, 0, 2)
589 + t4(0, 1, 0, ll) * t3_2(0, 1, 0)
590 + t4(0, 1, 1, ll) * t3_2(0, 1, 1)
591 + t4(0, 1, 2, ll) * t3_2(0, 1, 2)),
592 "T4(i,j,k,l)*T3(i,j,k)(" + std::to_string(ll) +
")");
594 - (t4(0, 0, 0, ll) * t3_2(0, 0, 0)
595 + t4(0, 0, 1, ll) * t3_2(0, 0, 1)
596 + t4(0, 0, 2, ll) * t3_2(0, 0, 2)
597 + t4(0, 1, 0, ll) * t3_2(0, 1, 0)
598 + t4(0, 1, 1, ll) * t3_2(0, 1, 1)
599 + t4(0, 1, 2, ll) * t3_2(0, 1, 2)),
600 "T3(i,j,k)*T4(i,j,k,l)(" + std::to_string(ll) +
")");
604 t3(
j,
l,
k) = t3_2(
j,
k,
l);
606 for(
int ll = 0; ll < 4; ++ll)
609 (t4(
i,
j,
k,
l) * t3(
i,
k,
j))(ll)
610 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(0, 1, 0)
611 + t4(0, 0, 2, ll) * t3(0, 2, 0) + t4(0, 1, 0, ll) * t3(0, 0, 1)
612 + t4(0, 1, 1, ll) * t3(0, 1, 1)
613 + t4(0, 1, 2, ll) * t3(0, 2, 1)),
614 "T4(i,j,k,l)*T3(i,k,j)(" + std::to_string(ll) +
")");
616 (t3(
i,
k,
j) * t4(
i,
j,
k,
l))(ll)
617 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(0, 1, 0)
618 + t4(0, 0, 2, ll) * t3(0, 2, 0) + t4(0, 1, 0, ll) * t3(0, 0, 1)
619 + t4(0, 1, 1, ll) * t3(0, 1, 1)
620 + t4(0, 1, 2, ll) * t3(0, 2, 1)),
621 "T3(i,k,j)*T4(i,j,k,l)(" + std::to_string(ll) +
")");
626 t3(
k,
j,
l) = t3_2(
j,
k,
l);
628 for(
int ll = 0; ll < 4; ++ll)
631 (t4(
i,
j,
k,
l) * t3(
j,
i,
k))(ll)
632 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(0, 0, 1)
633 + t4(0, 0, 2, ll) * t3(0, 0, 2) + t4(0, 1, 0, ll) * t3(1, 0, 0)
634 + t4(0, 1, 1, ll) * t3(1, 0, 1)
635 + t4(0, 1, 2, ll) * t3(1, 0, 2)),
636 "T4(i,j,k,l)*T3(j,i,k)(" + std::to_string(ll) +
")");
638 (t3(
j,
i,
k) * t4(
i,
j,
k,
l))(ll)
639 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(0, 0, 1)
640 + t4(0, 0, 2, ll) * t3(0, 0, 2) + t4(0, 1, 0, ll) * t3(1, 0, 0)
641 + t4(0, 1, 1, ll) * t3(1, 0, 1)
642 + t4(0, 1, 2, ll) * t3(1, 0, 2)),
643 "T3(j,i,k)*T4(i,j,k,l)(" + std::to_string(ll) +
")");
648 t3(
k,
l,
j) = t3_2(
j,
k,
l);
649 for(
int ll = 0; ll < 4; ++ll)
652 (t4(
i,
j,
k,
l) * t3(
j,
k,
i))(ll)
653 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(0, 1, 0)
654 + t4(0, 0, 2, ll) * t3(0, 2, 0) + t4(0, 1, 0, ll) * t3(1, 0, 0)
655 + t4(0, 1, 1, ll) * t3(1, 1, 0)
656 + t4(0, 1, 2, ll) * t3(1, 2, 0)),
657 "T4(i,j,k,l)*T3(j,k,i)(" + std::to_string(ll) +
")");
659 (t3(
j,
k,
i) * t4(
i,
j,
k,
l))(ll)
660 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(0, 1, 0)
661 + t4(0, 0, 2, ll) * t3(0, 2, 0) + t4(0, 1, 0, ll) * t3(1, 0, 0)
662 + t4(0, 1, 1, ll) * t3(1, 1, 0)
663 + t4(0, 1, 2, ll) * t3(1, 2, 0)),
664 "T3(j,k,i)*T4(i,j,k,l)(" + std::to_string(ll) +
")");
669 t3(
l,
j,
k) = t3_2(
j,
k,
l);
670 for(
int ll = 0; ll < 4; ++ll)
673 (t4(
i,
j,
k,
l) * t3(
k,
i,
j))(ll)
674 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(1, 0, 0)
675 + t4(0, 0, 2, ll) * t3(2, 0, 0) + t4(0, 1, 0, ll) * t3(0, 0, 1)
676 + t4(0, 1, 1, ll) * t3(1, 0, 1)
677 + t4(0, 1, 2, ll) * t3(2, 0, 1)),
678 "T4(i,j,k,l)*T3(k,i,j)(" + std::to_string(ll) +
")");
680 (t3(
k,
i,
j) * t4(
i,
j,
k,
l))(ll)
681 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(1, 0, 0)
682 + t4(0, 0, 2, ll) * t3(2, 0, 0) + t4(0, 1, 0, ll) * t3(0, 0, 1)
683 + t4(0, 1, 1, ll) * t3(1, 0, 1)
684 + t4(0, 1, 2, ll) * t3(2, 0, 1)),
685 "T3(k,i,j)*T4(i,j,k,l)(" + std::to_string(ll) +
")");
690 t3(
l,
k,
j) = t3_2(
j,
k,
l);
692 for(
int ll = 0; ll < 4; ++ll)
695 (t4(
i,
j,
k,
l) * t3(
k,
j,
i))(ll)
696 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(1, 0, 0)
697 + t4(0, 0, 2, ll) * t3(2, 0, 0) + t4(0, 1, 0, ll) * t3(0, 1, 0)
698 + t4(0, 1, 1, ll) * t3(1, 1, 0)
699 + t4(0, 1, 2, ll) * t3(2, 1, 0)),
700 "T4(i,j,k,l)*T3(k,j,i)(" + std::to_string(ll) +
")");
702 (t3(
k,
j,
i) * t4(
i,
j,
k,
l))(ll)
703 - (t4(0, 0, 0, ll) * t3(0, 0, 0) + t4(0, 0, 1, ll) * t3(1, 0, 0)
704 + t4(0, 0, 2, ll) * t3(2, 0, 0) + t4(0, 1, 0, ll) * t3(0, 1, 0)
705 + t4(0, 1, 1, ll) * t3(1, 1, 0)
706 + t4(0, 1, 2, ll) * t3(2, 1, 0)),
707 "T3(k,j,i)*T4(i,j,k,l)(" + std::to_string(ll) +
")");