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)");