18 t3as_1(
i,
k,
j) = (t3dg_2(
i,
j,
k) && t3dg_2(
i,
k,
j));
19 test_for_zero(t3as_1(0, 0, 0) - (t3dg_2(0, 0, 0) - t3dg_2(0, 0, 0)),
20 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,0,0)");
21 test_for_zero(t3as_1(0, 1, 0) - (t3dg_2(0, 0, 1) - t3dg_2(0, 1, 0)),
22 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,0,1)");
23 test_for_zero(t3as_1(0, 2, 0) - (t3dg_2(0, 0, 2) - t3dg_2(0, 2, 0)),
24 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,0,2)");
25 test_for_zero(t3as_1(0, 0, 1) - (t3dg_2(0, 1, 0) - t3dg_2(0, 0, 1)),
26 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,1,0)");
27 test_for_zero(t3as_1(0, 1, 1) - (t3dg_2(0, 1, 1) - t3dg_2(0, 1, 1)),
28 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,1,1)");
29 test_for_zero(t3as_1(0, 2, 1) - (t3dg_2(0, 1, 2) - t3dg_2(0, 2, 1)),
30 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,1,2)");
31 test_for_zero(t3as_1(0, 0, 2) - (t3dg_2(0, 2, 0) - t3dg_2(0, 0, 2)),
32 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,2,0)");
33 test_for_zero(t3as_1(0, 1, 2) - (t3dg_2(0, 2, 1) - t3dg_2(0, 1, 2)),
34 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,2,1)");
35 test_for_zero(t3as_1(0, 2, 2) - (t3dg_2(0, 2, 2) - t3dg_2(0, 2, 2)),
36 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(0,2,2)");
37 test_for_zero(t3as_1(1, 0, 0) - (t3dg_2(1, 0, 0) - t3dg_2(1, 0, 0)),
38 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,0,0)");
39 test_for_zero(t3as_1(1, 1, 0) - (t3dg_2(1, 0, 1) - t3dg_2(1, 1, 0)),
40 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,0,1)");
41 test_for_zero(t3as_1(1, 2, 0) - (t3dg_2(1, 0, 2) - t3dg_2(1, 2, 0)),
42 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,0,2)");
43 test_for_zero(t3as_1(1, 0, 1) - (t3dg_2(1, 1, 0) - t3dg_2(1, 0, 1)),
44 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,1,0)");
45 test_for_zero(t3as_1(1, 1, 1) - (t3dg_2(1, 1, 1) - t3dg_2(1, 1, 1)),
46 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,1,1)");
47 test_for_zero(t3as_1(1, 2, 1) - (t3dg_2(1, 1, 2) - t3dg_2(1, 2, 1)),
48 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,1,2)");
49 test_for_zero(t3as_1(1, 0, 2) - (t3dg_2(1, 2, 0) - t3dg_2(1, 0, 2)),
50 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,2,0)");
51 test_for_zero(t3as_1(1, 1, 2) - (t3dg_2(1, 2, 1) - t3dg_2(1, 1, 2)),
52 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,2,1)");
53 test_for_zero(t3as_1(1, 2, 2) - (t3dg_2(1, 2, 2) - t3dg_2(1, 2, 2)),
54 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(1,2,2)");
55 test_for_zero(t3as_1(2, 0, 0) - (t3dg_2(2, 0, 0) - t3dg_2(2, 0, 0)),
56 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,0,0)");
57 test_for_zero(t3as_1(2, 1, 0) - (t3dg_2(2, 0, 1) - t3dg_2(2, 1, 0)),
58 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,0,1)");
59 test_for_zero(t3as_1(2, 2, 0) - (t3dg_2(2, 0, 2) - t3dg_2(2, 2, 0)),
60 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,0,2)");
61 test_for_zero(t3as_1(2, 0, 1) - (t3dg_2(2, 1, 0) - t3dg_2(2, 0, 1)),
62 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,1,0)");
63 test_for_zero(t3as_1(2, 1, 1) - (t3dg_2(2, 1, 1) - t3dg_2(2, 1, 1)),
64 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,1,1)");
65 test_for_zero(t3as_1(2, 2, 1) - (t3dg_2(2, 1, 2) - t3dg_2(2, 2, 1)),
66 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,1,2)");
67 test_for_zero(t3as_1(2, 0, 2) - (t3dg_2(2, 2, 0) - t3dg_2(2, 0, 2)),
68 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,2,0)");
69 test_for_zero(t3as_1(2, 1, 2) - (t3dg_2(2, 2, 1) - t3dg_2(2, 1, 2)),
70 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,2,1)");
71 test_for_zero(t3as_1(2, 2, 2) - (t3dg_2(2, 2, 2) - t3dg_2(2, 2, 2)),
72 "T3as(i,k,j)=T3dg(i,j,k) && T3dg(i,k,j)(2,2,2)");