21  t2_1(0, 0) = t2s_2(0, 0);
 
   22  t2_1(0, 1) = t2s_2(0, 1);
 
   23  t2_1(0, 2) = t2s_2(0, 2);
 
   24  t2_1(1, 0) = t2s_2(1, 0);
 
   25  t2_1(1, 1) = t2s_2(1, 1);
 
   26  t2_1(1, 2) = t2s_2(1, 2);
 
   27  t2_1(2, 0) = t2s_2(2, 0);
 
   28  t2_1(2, 1) = t2s_2(2, 1);
 
   29  t2_1(2, 2) = t2s_2(2, 2);
 
   31  t2s_1(
i, 
j) = t2s_2(
k, 
i) ^ t2_1(
j, 
k);
 
   33                  - (t2s_2(0, 0) * t2_1(0, 0) + t2s_2(1, 0) * t2_1(0, 1)
 
   34                     + t2s_2(2, 0) * t2_1(0, 2)),
 
   35                "T2s(k,i)^T2(j,k)(0,0)");
 
   37                  - (t2s_2(0, 0) * t2_1(1, 0) + t2s_2(1, 0) * t2_1(1, 1)
 
   38                     + t2s_2(2, 0) * t2_1(1, 2)),
 
   39                "T2s(k,i)^T2(j,k)(0,1)");
 
   41                  - (t2s_2(0, 0) * t2_1(2, 0) + t2s_2(1, 0) * t2_1(2, 1)
 
   42                     + t2s_2(2, 0) * t2_1(2, 2)),
 
   43                "T2s(k,i)^T2(j,k)(0,2)");
 
   45                  - (t2s_2(0, 1) * t2_1(0, 0) + t2s_2(1, 1) * t2_1(0, 1)
 
   46                     + t2s_2(2, 1) * t2_1(0, 2)),
 
   47                "T2s(k,i)^T2(j,k)(1,0)");
 
   49                  - (t2s_2(0, 1) * t2_1(1, 0) + t2s_2(1, 1) * t2_1(1, 1)
 
   50                     + t2s_2(2, 1) * t2_1(1, 2)),
 
   51                "T2s(k,i)^T2(j,k)(1,1)");
 
   53                  - (t2s_2(0, 1) * t2_1(2, 0) + t2s_2(1, 1) * t2_1(2, 1)
 
   54                     + t2s_2(2, 1) * t2_1(2, 2)),
 
   55                "T2s(k,i)^T2(j,k)(1,2)");
 
   57                  - (t2s_2(0, 2) * t2_1(0, 0) + t2s_2(1, 2) * t2_1(0, 1)
 
   58                     + t2s_2(2, 2) * t2_1(0, 2)),
 
   59                "T2s(k,i)^T2(j,k)(2,0)");
 
   61                  - (t2s_2(0, 2) * t2_1(1, 0) + t2s_2(1, 2) * t2_1(1, 1)
 
   62                     + t2s_2(2, 2) * t2_1(1, 2)),
 
   63                "T2s(k,i)^T2(j,k)(2,1)");
 
   65                  - (t2s_2(0, 2) * t2_1(2, 0) + t2s_2(1, 2) * t2_1(2, 1)
 
   66                     + t2s_2(2, 2) * t2_1(2, 2)),
 
   67                "T2s(k,i)^T2(j,k)(2,2)");
 
   68  t2s_1(
i, 
j) = t2_1(
j, 
k) ^ t2s_2(
k, 
i);
 
   70                  - (t2s_2(0, 0) * t2_1(0, 0) + t2s_2(1, 0) * t2_1(0, 1)
 
   71                     + t2s_2(2, 0) * t2_1(0, 2)),
 
   72                "T2(j,k)^T2s(k,i)(0,0)");
 
   74                  - (t2s_2(0, 0) * t2_1(1, 0) + t2s_2(1, 0) * t2_1(1, 1)
 
   75                     + t2s_2(2, 0) * t2_1(1, 2)),
 
   76                "T2(j,k)^T2s(k,i)(0,1)");
 
   78                  - (t2s_2(0, 0) * t2_1(2, 0) + t2s_2(1, 0) * t2_1(2, 1)
 
   79                     + t2s_2(2, 0) * t2_1(2, 2)),
 
   80                "T2(j,k)^T2s(k,i)(0,2)");
 
   82                  - (t2s_2(0, 1) * t2_1(0, 0) + t2s_2(1, 1) * t2_1(0, 1)
 
   83                     + t2s_2(2, 1) * t2_1(0, 2)),
 
   84                "T2(j,k)^T2s(k,i)(1,0)");
 
   86                  - (t2s_2(0, 1) * t2_1(1, 0) + t2s_2(1, 1) * t2_1(1, 1)
 
   87                     + t2s_2(2, 1) * t2_1(1, 2)),
 
   88                "T2(j,k)^T2s(k,i)(1,1)");
 
   90                  - (t2s_2(0, 1) * t2_1(2, 0) + t2s_2(1, 1) * t2_1(2, 1)
 
   91                     + t2s_2(2, 1) * t2_1(2, 2)),
 
   92                "T2(j,k)^T2s(k,i)(1,2)");
 
   94                  - (t2s_2(0, 2) * t2_1(0, 0) + t2s_2(1, 2) * t2_1(0, 1)
 
   95                     + t2s_2(2, 2) * t2_1(0, 2)),
 
   96                "T2(j,k)^T2s(k,i)(2,0)");
 
   98                  - (t2s_2(0, 2) * t2_1(1, 0) + t2s_2(1, 2) * t2_1(1, 1)
 
   99                     + t2s_2(2, 2) * t2_1(1, 2)),
 
  100                "T2(j,k)^T2s(k,i)(2,1)");
 
  102                  - (t2s_2(0, 2) * t2_1(2, 0) + t2s_2(1, 2) * t2_1(2, 1)
 
  103                     + t2s_2(2, 2) * t2_1(2, 2)),
 
  104                "T2(j,k)^T2s(k,i)(2,2)");