18 t3as_1(
i,
j,
k) = 5 * t3as_2(
i,
j,
k);
19 test_for_zero(t3as_1(0, 0, 0) - (t3as_2(0, 0, 0) * 5),
"T*T3as(0,0,0)");
20 test_for_zero(t3as_1(0, 0, 1) - (t3as_2(0, 0, 1) * 5),
"T*T3as(0,0,1)");
21 test_for_zero(t3as_1(0, 0, 2) - (t3as_2(0, 0, 2) * 5),
"T*T3as(0,0,2)");
22 test_for_zero(t3as_1(0, 1, 0) - (t3as_2(0, 1, 0) * 5),
"T*T3as(0,1,0)");
23 test_for_zero(t3as_1(0, 1, 1) - (t3as_2(0, 1, 1) * 5),
"T*T3as(0,1,1)");
24 test_for_zero(t3as_1(0, 1, 2) - (t3as_2(0, 1, 2) * 5),
"T*T3as(0,1,2)");
25 test_for_zero(t3as_1(0, 2, 0) - (t3as_2(0, 2, 0) * 5),
"T*T3as(0,2,0)");
26 test_for_zero(t3as_1(0, 2, 1) - (t3as_2(0, 2, 1) * 5),
"T*T3as(0,2,1)");
27 test_for_zero(t3as_1(0, 2, 2) - (t3as_2(0, 2, 2) * 5),
"T*T3as(0,2,2)");
28 test_for_zero(t3as_1(1, 0, 0) - (t3as_2(1, 0, 0) * 5),
"T*T3as(1,0,0)");
29 test_for_zero(t3as_1(1, 0, 1) - (t3as_2(1, 0, 1) * 5),
"T*T3as(1,0,1)");
30 test_for_zero(t3as_1(1, 0, 2) - (t3as_2(1, 0, 2) * 5),
"T*T3as(1,0,2)");
31 test_for_zero(t3as_1(1, 1, 0) - (t3as_2(1, 1, 0) * 5),
"T*T3as(1,1,0)");
32 test_for_zero(t3as_1(1, 1, 1) - (t3as_2(1, 1, 1) * 5),
"T*T3as(1,1,1)");
33 test_for_zero(t3as_1(1, 1, 2) - (t3as_2(1, 1, 2) * 5),
"T*T3as(1,1,2)");
34 test_for_zero(t3as_1(1, 2, 0) - (t3as_2(1, 2, 0) * 5),
"T*T3as(1,2,0)");
35 test_for_zero(t3as_1(1, 2, 1) - (t3as_2(1, 2, 1) * 5),
"T*T3as(1,2,1)");
36 test_for_zero(t3as_1(1, 2, 2) - (t3as_2(1, 2, 2) * 5),
"T*T3as(1,2,2)");
37 test_for_zero(t3as_1(2, 0, 0) - (t3as_2(2, 0, 0) * 5),
"T*T3as(2,0,0)");
38 test_for_zero(t3as_1(2, 0, 1) - (t3as_2(2, 0, 1) * 5),
"T*T3as(2,0,1)");
39 test_for_zero(t3as_1(2, 0, 2) - (t3as_2(2, 0, 2) * 5),
"T*T3as(2,0,2)");
40 test_for_zero(t3as_1(2, 1, 0) - (t3as_2(2, 1, 0) * 5),
"T*T3as(2,1,0)");
41 test_for_zero(t3as_1(2, 1, 1) - (t3as_2(2, 1, 1) * 5),
"T*T3as(2,1,1)");
42 test_for_zero(t3as_1(2, 1, 2) - (t3as_2(2, 1, 2) * 5),
"T*T3as(2,1,2)");
43 test_for_zero(t3as_1(2, 2, 0) - (t3as_2(2, 2, 0) * 5),
"T*T3as(2,2,0)");
44 test_for_zero(t3as_1(2, 2, 1) - (t3as_2(2, 2, 1) * 5),
"T*T3as(2,2,1)");
45 test_for_zero(t3as_1(2, 2, 2) - (t3as_2(2, 2, 2) * 5),
"T*T3as(2,2,2)");