1 #include "../../../src/FTensor.hpp"
2 #include "../test_for_zero.hpp"
20 t2s_1(
i,
j) = (t2s_2(
i,
j) & (t1_2(
i) ^ (t1_2(
j))));
21 test_for_zero(t2s_1(0, 0) - (t2s_2(0, 0) * t1_2(0) * t1_2(0)),
22 "T2s(i,j)&T2s(i,j)(0,0)");
23 test_for_zero(t2s_1(0, 1) - (t2s_2(0, 1) * t1_2(0) * t1_2(1)),
24 "T2s(i,j)&T2s(i,j)(0,1)");
25 test_for_zero(t2s_1(0, 2) - (t2s_2(0, 2) * t1_2(0) * t1_2(2)),
26 "T2s(i,j)&T2s(i,j)(0,2)");
27 test_for_zero(t2s_1(1, 0) - (t2s_2(1, 0) * t1_2(1) * t1_2(0)),
28 "T2s(i,j)&T2s(i,j)(1,0)");
29 test_for_zero(t2s_1(1, 1) - (t2s_2(1, 1) * t1_2(1) * t1_2(1)),
30 "T2s(i,j)&T2s(i,j)(1,1)");
31 test_for_zero(t2s_1(1, 2) - (t2s_2(1, 2) * t1_2(1) * t1_2(2)),
32 "T2s(i,j)&T2s(i,j)(1,2)");
33 test_for_zero(t2s_1(2, 0) - (t2s_2(2, 0) * t1_2(2) * t1_2(0)),
34 "T2s(i,j)&T2s(i,j)(2,0)");
35 test_for_zero(t2s_1(2, 1) - (t2s_2(2, 1) * t1_2(2) * t1_2(1)),
36 "T2s(i,j)&T2s(i,j)(2,1)");
37 test_for_zero(t2s_1(2, 2) - (t2s_2(2, 2) * t1_2(2) * t1_2(2)),
38 "T2s(i,j)&T2s(i,j)(2,2)");
40 t2s_1(
i,
j) = (t2s_2(
i,
j) & (t1_2(
j) ^ (t1_2(
i))));
41 test_for_zero(t2s_1(0, 0) - (t2s_2(0, 0) * t1_2(0) * t1_2(0)),
42 "T2s(i,j)&T2s(j,i)(0,0)");
43 test_for_zero(t2s_1(0, 1) - (t2s_2(0, 1) * t1_2(0) * t1_2(1)),
44 "T2s(i,j)&T2s(j,i)(0,1)");
45 test_for_zero(t2s_1(0, 2) - (t2s_2(0, 2) * t1_2(0) * t1_2(2)),
46 "T2s(i,j)&T2s(j,i)(0,2)");
47 test_for_zero(t2s_1(1, 0) - (t2s_2(1, 0) * t1_2(1) * t1_2(0)),
48 "T2s(i,j)&T2s(j,i)(1,0)");
49 test_for_zero(t2s_1(1, 1) - (t2s_2(1, 1) * t1_2(1) * t1_2(1)),
50 "T2s(i,j)&T2s(j,i)(1,1)");
51 test_for_zero(t2s_1(1, 2) - (t2s_2(1, 2) * t1_2(1) * t1_2(2)),
52 "T2s(i,j)&T2s(j,i)(1,2)");
53 test_for_zero(t2s_1(2, 0) - (t2s_2(2, 0) * t1_2(2) * t1_2(0)),
54 "T2s(i,j)&T2s(j,i)(2,0)");
55 test_for_zero(t2s_1(2, 1) - (t2s_2(2, 1) * t1_2(2) * t1_2(1)),
56 "T2s(i,j)&T2s(j,i)(2,1)");
57 test_for_zero(t2s_1(2, 2) - (t2s_2(2, 2) * t1_2(2) * t1_2(2)),
58 "T2s(i,j)&T2s(j,i)(2,2)");
60 t2s_1(
i,
j) = ((t1_2(
j) ^ (t1_2(
i))) & t2s_2(
i,
j));
61 test_for_zero(t2s_1(0, 0) - (t2s_2(0, 0) * t1_2(0) * t1_2(0)),
62 "T2s(j,i)&T2s(i,j)(0,0)");
63 test_for_zero(t2s_1(0, 1) - (t2s_2(0, 1) * t1_2(0) * t1_2(1)),
64 "T2s(j,i)&T2s(i,j)(0,1)");
65 test_for_zero(t2s_1(0, 2) - (t2s_2(0, 2) * t1_2(0) * t1_2(2)),
66 "T2s(j,i)&T2s(i,j)(0,2)");
67 test_for_zero(t2s_1(1, 0) - (t2s_2(1, 0) * t1_2(1) * t1_2(0)),
68 "T2s(j,i)&T2s(i,j)(1,0)");
69 test_for_zero(t2s_1(1, 1) - (t2s_2(1, 1) * t1_2(1) * t1_2(1)),
70 "T2s(j,i)&T2s(i,j)(1,1)");
71 test_for_zero(t2s_1(1, 2) - (t2s_2(1, 2) * t1_2(1) * t1_2(2)),
72 "T2s(j,i)&T2s(i,j)(1,2)");
73 test_for_zero(t2s_1(2, 0) - (t2s_2(2, 0) * t1_2(2) * t1_2(0)),
74 "T2s(j,i)&T2s(i,j)(2,0)");
75 test_for_zero(t2s_1(2, 1) - (t2s_2(2, 1) * t1_2(2) * t1_2(1)),
76 "T2s(j,i)&T2s(i,j)(2,1)");
77 test_for_zero(t2s_1(2, 2) - (t2s_2(2, 2) * t1_2(2) * t1_2(2)),
78 "T2s(j,i)&T2s(i,j)(2,2)");