17 t4ddg_3_1(
i,
j,
k,
l) = t2s_2(
i,
j) * t2s_3(
k,
l);
21 t4ddg_3_2(
i,
j,
k,
l) = t4ddg_3_1(
m,
n,
i,
j) * t4ddg_3_1(
m,
n,
k,
l);
22 t4ddg_3_2(
i,
j,
k,
l) -=
23 (t2s_3(
i,
j) * t2s_3(
k,
l)) * (t2s_2(
m,
n) * t2s_2(
m,
n));
24 for (
int ii = 0; ii != 3; ++ii)
25 for (
int jj = 0; jj != 3; ++jj)
26 for (
int kk = 0; kk != 3; ++kk)
27 for (
int ll = 0; ll != 3; ++ll) {
28 test_for_zero(t4ddg_3_2(ii, jj, kk, ll),
"t4ddg_3_2(i, j, k, l)");
34 t4ddg_3_2(
i,
j,
k,
l) = t4ddg_3_1(
i,
j,
m,
n) * t4ddg_3_1(
m,
n,
k,
l);
35 t4ddg_3_2(
i,
j,
k,
l) -=
36 (t2s_2(
i,
j) * t2s_3(
k,
l)) * (t2s_3(
m,
n) * t2s_2(
m,
n));
37 for (
int ii = 0; ii != 3; ++ii)
38 for (
int jj = 0; jj != 3; ++jj)
39 for (
int kk = 0; kk != 3; ++kk)
40 for (
int ll = 0; ll != 3; ++ll) {
41 test_for_zero(t4ddg_3_2(ii, jj, kk, ll),
"t4ddg_3_2(i, j, k, l)");
47 t4ddg_3_2(
i,
j,
k,
l) = t4ddg_3_1(
m,
n,
i,
j) * t4ddg_3_1(
k,
l,
m,
n);
48 t4ddg_3_2(
i,
j,
k,
l) -=
49 (t2s_3(
i,
j) * t2s_2(
k,
l)) * (t2s_2(
m,
n) * t2s_3(
m,
n));
50 for (
int ii = 0; ii != 3; ++ii)
51 for (
int jj = 0; jj != 3; ++jj)
52 for (
int kk = 0; kk != 3; ++kk)
53 for (
int ll = 0; ll != 3; ++ll) {
54 test_for_zero(t4ddg_3_2(ii, jj, kk, ll),
"t4ddg_3_2(i, j, k, l)");
60 t4ddg_3_2(
i,
j,
k,
l) = t4ddg_3_1(
i,
j,
m,
n) * t4ddg_3_1(
k,
l,
m,
n);
61 t4ddg_3_2(
i,
j,
k,
l) -=
62 (t2s_2(
i,
j) * t2s_2(
k,
l)) * (t2s_3(
m,
n) * t2s_3(
m,
n));
63 for (
int ii = 0; ii != 3; ++ii)
64 for (
int jj = 0; jj != 3; ++jj)
65 for (
int kk = 0; kk != 3; ++kk)
66 for (
int ll = 0; ll != 3; ++ll) {
67 test_for_zero(t4ddg_3_2(ii, jj, kk, ll),
"t4ddg_3_2(i, j, k, l)");
78 t3dg_3_1(
i,
j,
l) = t4ddg_3_1(
i,
j,
k,
l) * t1_1(
k);
79 t3dg_3_2(
i,
j,
l) = t2s_2(
i,
j) * (t2s_3(
k,
l) * t1_1(
k));
81 for (
int ii = 0; ii != 3; ++ii)
82 for (
int jj = 0; jj != 3; ++jj)
83 for (
int ll = 0; ll != 3; ++ll) {
85 "t4ddg_3_1(i, j, k, l) * t1_1(k)(" + to_string(ii) +
86 "," + to_string(jj) +
"," + to_string(ll) +
")");
92 t3ch_3_1(
l,
j,
k) = t4ddg_3_1(
i,
j,
k,
l) * t1_1(
i);
93 t3ch_3_2(
i,
j,
k) = 0;
94 for (
int jj = 0; jj != 3; ++jj)
95 for (
int kk = 0; kk != 3; ++kk)
96 for (
int ll = kk; ll != 3; ++ll) {
97 auto &
v = t3ch_3_2(jj, kk, ll);
98 for (
int ii = 0; ii != 3; ++ii) {
99 v += (t2s_2(ii, jj) * t1_1(ii)) * t2s_3(kk, ll);
103 for (
int jj = 0; jj != 3; ++jj)
104 for (
int kk = 0; kk != 3; ++kk)
105 for (
int ll = 0; ll != 3; ++ll) {
107 "t4ddg_3_1(i, j, k, l) * t1_1(i)(" + to_string(jj) +
108 "," + to_string(kk) +
"," + to_string(ll) +
")");
112 t3ch_3_3(
l,
i,
k) = t4ddg_3_1(
i,
j,
k,
l) * t1_1(
j);
113 for (
int jj = 0; jj != 3; ++jj)
114 for (
int kk = 0; kk != 3; ++kk)
115 for (
int ll = 0; ll != 3; ++ll) {
117 "t4ddg_3_3(i, j, k, l) * t1_1(i)(" + to_string(jj) +
118 "," + to_string(kk) +
"," + to_string(ll) +
")");
126 t3ch_3_1(
i,
j,
k) = t4ddg_3_1(
i,
j,
k,
l) * t1_1(
l);
127 t3ch_3_2(
i,
j,
k) = t4ddg_3_1(
i,
j,
l,
k) * t1_1(
l);;
129 for (
int jj = 0; jj != 3; ++jj)
130 for (
int kk = 0; kk != 3; ++kk)
131 for (
int ll = 0; ll != 3; ++ll) {
133 "t4ddg_3_3(i, j, k, l) * t1_1(i)(" + to_string(jj) +
134 "," + to_string(kk) +
"," + to_string(ll) +
")");