20                  - ((t2_2(0, 0) * t1_2(0)) + (t2_3(0, 0) * t1_1(0))),
 
   21                "T3(i,j,k)+T3(i,j,k)(0,0,0)");
 
   23                  - ((t2_2(0, 0) * t1_2(1)) + (t2_3(0, 0) * t1_1(1))),
 
   24                "T3(i,j,k)+T3(i,j,k)(0,0,1)");
 
   26                  - ((t2_2(0, 0) * t1_2(2)) + (t2_3(0, 0) * t1_1(2))),
 
   27                "T3(i,j,k)+T3(i,j,k)(0,0,2)");
 
   29                  - ((t2_2(0, 1) * t1_2(0)) + (t2_3(0, 1) * t1_1(0))),
 
   30                "T3(i,j,k)+T3(i,j,k)(0,1,0)");
 
   32                  - ((t2_2(0, 1) * t1_2(1)) + (t2_3(0, 1) * t1_1(1))),
 
   33                "T3(i,j,k)+T3(i,j,k)(0,1,1)");
 
   35                  - ((t2_2(0, 1) * t1_2(2)) + (t2_3(0, 1) * t1_1(2))),
 
   36                "T3(i,j,k)+T3(i,j,k)(0,1,2)");
 
   38                  - ((t2_2(0, 2) * t1_2(0)) + (t2_3(0, 2) * t1_1(0))),
 
   39                "T3(i,j,k)+T3(i,j,k)(0,2,0)");
 
   41                  - ((t2_2(0, 2) * t1_2(1)) + (t2_3(0, 2) * t1_1(1))),
 
   42                "T3(i,j,k)+T3(i,j,k)(0,2,1)");
 
   44                  - ((t2_2(0, 2) * t1_2(2)) + (t2_3(0, 2) * t1_1(2))),
 
   45                "T3(i,j,k)+T3(i,j,k)(0,2,2)");
 
   48                  - ((t2_2(0, 0) * t1_2(0)) + (t2_3(0, 0) * t1_1(0))),
 
   49                "T3(i,j,k)+T3(i,k,j)(0,0,0)");
 
   51                  - ((t2_2(0, 0) * t1_2(1)) + (t2_3(0, 1) * t1_1(0))),
 
   52                "T3(i,j,k)+T3(i,k,j)(0,0,1)");
 
   54                  - ((t2_2(0, 0) * t1_2(2)) + (t2_3(0, 2) * t1_1(0))),
 
   55                "T3(i,j,k)+T3(i,k,j)(0,0,2)");
 
   57                  - ((t2_2(0, 1) * t1_2(0)) + (t2_3(0, 0) * t1_1(1))),
 
   58                "T3(i,j,k)+T3(i,k,j)(0,1,0)");
 
   60                  - ((t2_2(0, 1) * t1_2(1)) + (t2_3(0, 1) * t1_1(1))),
 
   61                "T3(i,j,k)+T3(i,k,j)(0,1,1)");
 
   63                  - ((t2_2(0, 1) * t1_2(2)) + (t2_3(0, 2) * t1_1(1))),
 
   64                "T3(i,j,k)+T3(i,k,j)(0,1,2)");
 
   66                  - ((t2_2(0, 2) * t1_2(0)) + (t2_3(0, 0) * t1_1(2))),
 
   67                "T3(i,j,k)+T3(i,k,j)(0,2,0)");
 
   69                  - ((t2_2(0, 2) * t1_2(1)) + (t2_3(0, 1) * t1_1(2))),
 
   70                "T3(i,j,k)+T3(i,k,j)(0,2,1)");
 
   72                  - ((t2_2(0, 2) * t1_2(2)) + (t2_3(0, 2) * t1_1(2))),
 
   73                "T3(i,j,k)+T3(i,k,j)(0,2,2)");
 
   76                  - ((t2_2(0, 0) * t1_2(0)) + (t2_3(0, 0) * t1_1(0))),
 
   77                "T3(i,j,k)+T3(j,i,k)(0,0,0)");
 
   79                  - ((t2_2(0, 0) * t1_2(1)) + (t2_3(0, 0) * t1_1(1))),
 
   80                "T3(i,j,k)+T3(j,i,k)(0,0,1)");
 
   82                  - ((t2_2(0, 0) * t1_2(2)) + (t2_3(0, 0) * t1_1(2))),
 
   83                "T3(i,j,k)+T3(j,i,k)(0,0,2)");
 
   85                  - ((t2_2(0, 1) * t1_2(0)) + (t2_3(1, 0) * t1_1(0))),
 
   86                "T3(i,j,k)+T3(j,i,k)(0,1,0)");
 
   88                  - ((t2_2(0, 1) * t1_2(1)) + (t2_3(1, 0) * t1_1(1))),
 
   89                "T3(i,j,k)+T3(j,i,k)(0,1,1)");
 
   91                  - ((t2_2(0, 1) * t1_2(2)) + (t2_3(1, 0) * t1_1(2))),
 
   92                "T3(i,j,k)+T3(j,i,k)(0,1,2)");
 
   94                  - ((t2_2(0, 2) * t1_2(0)) + (t2_3(2, 0) * t1_1(0))),
 
   95                "T3(i,j,k)+T3(j,i,k)(0,2,0)");
 
   97                  - ((t2_2(0, 2) * t1_2(1)) + (t2_3(2, 0) * t1_1(1))),
 
   98                "T3(i,j,k)+T3(j,i,k)(0,2,1)");
 
  100                  - ((t2_2(0, 2) * t1_2(2)) + (t2_3(2, 0) * t1_1(2))),
 
  101                "T3(i,j,k)+T3(j,i,k)(0,2,2)");
 
  104                  - ((t2_2(0, 0) * t1_2(0)) + (t2_3(0, 0) * t1_1(0))),
 
  105                "T3(i,j,k)+T3(j,k,i)(0,0,0)");
 
  107                  - ((t2_2(0, 0) * t1_2(1)) + (t2_3(0, 1) * t1_1(0))),
 
  108                "T3(i,j,k)+T3(j,k,i)(0,0,1)");
 
  110                  - ((t2_2(0, 0) * t1_2(2)) + (t2_3(0, 2) * t1_1(0))),
 
  111                "T3(i,j,k)+T3(j,k,i)(0,0,2)");
 
  113                  - ((t2_2(0, 1) * t1_2(0)) + (t2_3(1, 0) * t1_1(0))),
 
  114                "T3(i,j,k)+T3(j,k,i)(0,1,0)");
 
  116                  - ((t2_2(0, 1) * t1_2(1)) + (t2_3(1, 1) * t1_1(0))),
 
  117                "T3(i,j,k)+T3(j,k,i)(0,1,1)");
 
  119                  - ((t2_2(0, 1) * t1_2(2)) + (t2_3(1, 2) * t1_1(0))),
 
  120                "T3(i,j,k)+T3(j,k,i)(0,1,2)");
 
  122                  - ((t2_2(0, 2) * t1_2(0)) + (t2_3(2, 0) * t1_1(0))),
 
  123                "T3(i,j,k)+T3(j,k,i)(0,2,0)");
 
  125                  - ((t2_2(0, 2) * t1_2(1)) + (t2_3(2, 1) * t1_1(0))),
 
  126                "T3(i,j,k)+T3(j,k,i)(0,2,1)");
 
  128                  - ((t2_2(0, 2) * t1_2(2)) + (t2_3(2, 2) * t1_1(0))),
 
  129                "T3(i,j,k)+T3(j,k,i)(0,2,2)");
 
  132                  - ((t2_2(0, 0) * t1_2(0)) + (t2_3(0, 0) * t1_1(0))),
 
  133                "T3(i,j,k)+T3(k,i,j)(0,0,0)");
 
  135                  - ((t2_2(0, 0) * t1_2(1)) + (t2_3(1, 0) * t1_1(0))),
 
  136                "T3(i,j,k)+T3(k,i,j)(0,0,1)");
 
  138                  - ((t2_2(0, 0) * t1_2(2)) + (t2_3(2, 0) * t1_1(0))),
 
  139                "T3(i,j,k)+T3(k,i,j)(0,0,2)");
 
  141                  - ((t2_2(0, 1) * t1_2(0)) + (t2_3(0, 0) * t1_1(1))),
 
  142                "T3(i,j,k)+T3(k,i,j)(0,1,0)");
 
  144                  - ((t2_2(0, 1) * t1_2(1)) + (t2_3(1, 0) * t1_1(1))),
 
  145                "T3(i,j,k)+T3(k,i,j)(0,1,1)");
 
  147                  - ((t2_2(0, 1) * t1_2(2)) + (t2_3(2, 0) * t1_1(1))),
 
  148                "T3(i,j,k)+T3(k,i,j)(0,1,2)");
 
  150                  - ((t2_2(0, 2) * t1_2(0)) + (t2_3(0, 0) * t1_1(2))),
 
  151                "T3(i,j,k)+T3(k,i,j)(0,2,0)");
 
  153                  - ((t2_2(0, 2) * t1_2(1)) + (t2_3(1, 0) * t1_1(2))),
 
  154                "T3(i,j,k)+T3(k,i,j)(0,2,1)");
 
  156                  - ((t2_2(0, 2) * t1_2(2)) + (t2_3(2, 0) * t1_1(2))),
 
  157                "T3(i,j,k)+T3(k,i,j)(0,2,2)");
 
  160                  - ((t2_2(0, 0) * t1_2(0)) + (t2_3(0, 0) * t1_1(0))),
 
  161                "T3(i,j,k)+T3(k,j,i)(0,0,0)");
 
  163                  - ((t2_2(0, 0) * t1_2(1)) + (t2_3(1, 0) * t1_1(0))),
 
  164                "T3(i,j,k)+T3(k,j,i)(0,0,1)");
 
  166                  - ((t2_2(0, 0) * t1_2(2)) + (t2_3(2, 0) * t1_1(0))),
 
  167                "T3(i,j,k)+T3(k,j,i)(0,0,2)");
 
  169                  - ((t2_2(0, 1) * t1_2(0)) + (t2_3(0, 1) * t1_1(0))),
 
  170                "T3(i,j,k)+T3(k,j,i)(0,1,0)");
 
  172                  - ((t2_2(0, 1) * t1_2(1)) + (t2_3(1, 1) * t1_1(0))),
 
  173                "T3(i,j,k)+T3(k,j,i)(0,1,1)");
 
  175                  - ((t2_2(0, 1) * t1_2(2)) + (t2_3(2, 1) * t1_1(0))),
 
  176                "T3(i,j,k)+T3(k,j,i)(0,1,2)");
 
  178                  - ((t2_2(0, 2) * t1_2(0)) + (t2_3(0, 2) * t1_1(0))),
 
  179                "T3(i,j,k)+T3(k,j,i)(0,2,0)");
 
  181                  - ((t2_2(0, 2) * t1_2(1)) + (t2_3(1, 2) * t1_1(0))),
 
  182                "T3(i,j,k)+T3(k,j,i)(0,2,1)");
 
  184                  - ((t2_2(0, 2) * t1_2(2)) + (t2_3(2, 2) * t1_1(0))),
 
  185                "T3(i,j,k)+T3(k,j,i)(0,2,2)");
 
  188                  - ((t2_2(0, 0) * t1_2(0)) - (t2_3(0, 0) * t1_1(0))),
 
  189                "T3(i,j,k)-T3(i,j,k)(0,0,0)");
 
  191                  - ((t2_2(0, 0) * t1_2(1)) - (t2_3(0, 0) * t1_1(1))),
 
  192                "T3(i,j,k)-T3(i,j,k)(0,0,1)");
 
  194                  - ((t2_2(0, 0) * t1_2(2)) - (t2_3(0, 0) * t1_1(2))),
 
  195                "T3(i,j,k)-T3(i,j,k)(0,0,2)");
 
  197                  - ((t2_2(0, 1) * t1_2(0)) - (t2_3(0, 1) * t1_1(0))),
 
  198                "T3(i,j,k)-T3(i,j,k)(0,1,0)");
 
  200                  - ((t2_2(0, 1) * t1_2(1)) - (t2_3(0, 1) * t1_1(1))),
 
  201                "T3(i,j,k)-T3(i,j,k)(0,1,1)");
 
  203                  - ((t2_2(0, 1) * t1_2(2)) - (t2_3(0, 1) * t1_1(2))),
 
  204                "T3(i,j,k)-T3(i,j,k)(0,1,2)");
 
  206                  - ((t2_2(0, 2) * t1_2(0)) - (t2_3(0, 2) * t1_1(0))),
 
  207                "T3(i,j,k)-T3(i,j,k)(0,2,0)");
 
  209                  - ((t2_2(0, 2) * t1_2(1)) - (t2_3(0, 2) * t1_1(1))),
 
  210                "T3(i,j,k)-T3(i,j,k)(0,2,1)");
 
  212                  - ((t2_2(0, 2) * t1_2(2)) - (t2_3(0, 2) * t1_1(2))),
 
  213                "T3(i,j,k)-T3(i,j,k)(0,2,2)");
 
  216                  - ((t2_2(0, 0) * t1_2(0)) - (t2_3(0, 0) * t1_1(0))),
 
  217                "T3(i,j,k)-T3(i,k,j)(0,0,0)");
 
  219                  - ((t2_2(0, 0) * t1_2(1)) - (t2_3(0, 1) * t1_1(0))),
 
  220                "T3(i,j,k)-T3(i,k,j)(0,0,1)");
 
  222                  - ((t2_2(0, 0) * t1_2(2)) - (t2_3(0, 2) * t1_1(0))),
 
  223                "T3(i,j,k)-T3(i,k,j)(0,0,2)");
 
  225                  - ((t2_2(0, 1) * t1_2(0)) - (t2_3(0, 0) * t1_1(1))),
 
  226                "T3(i,j,k)-T3(i,k,j)(0,1,0)");
 
  228                  - ((t2_2(0, 1) * t1_2(1)) - (t2_3(0, 1) * t1_1(1))),
 
  229                "T3(i,j,k)-T3(i,k,j)(0,1,1)");
 
  231                  - ((t2_2(0, 1) * t1_2(2)) - (t2_3(0, 2) * t1_1(1))),
 
  232                "T3(i,j,k)-T3(i,k,j)(0,1,2)");
 
  234                  - ((t2_2(0, 2) * t1_2(0)) - (t2_3(0, 0) * t1_1(2))),
 
  235                "T3(i,j,k)-T3(i,k,j)(0,2,0)");
 
  237                  - ((t2_2(0, 2) * t1_2(1)) - (t2_3(0, 1) * t1_1(2))),
 
  238                "T3(i,j,k)-T3(i,k,j)(0,2,1)");
 
  240                  - ((t2_2(0, 2) * t1_2(2)) - (t2_3(0, 2) * t1_1(2))),
 
  241                "T3(i,j,k)-T3(i,k,j)(0,2,2)");
 
  244                  - ((t2_2(0, 0) * t1_2(0)) - (t2_3(0, 0) * t1_1(0))),
 
  245                "T3(i,j,k)-T3(j,i,k)(0,0,0)");
 
  247                  - ((t2_2(0, 0) * t1_2(1)) - (t2_3(0, 0) * t1_1(1))),
 
  248                "T3(i,j,k)-T3(j,i,k)(0,0,1)");
 
  250                  - ((t2_2(0, 0) * t1_2(2)) - (t2_3(0, 0) * t1_1(2))),
 
  251                "T3(i,j,k)-T3(j,i,k)(0,0,2)");
 
  253                  - ((t2_2(0, 1) * t1_2(0)) - (t2_3(1, 0) * t1_1(0))),
 
  254                "T3(i,j,k)-T3(j,i,k)(0,1,0)");
 
  256                  - ((t2_2(0, 1) * t1_2(1)) - (t2_3(1, 0) * t1_1(1))),
 
  257                "T3(i,j,k)-T3(j,i,k)(0,1,1)");
 
  259                  - ((t2_2(0, 1) * t1_2(2)) - (t2_3(1, 0) * t1_1(2))),
 
  260                "T3(i,j,k)-T3(j,i,k)(0,1,2)");
 
  262                  - ((t2_2(0, 2) * t1_2(0)) - (t2_3(2, 0) * t1_1(0))),
 
  263                "T3(i,j,k)-T3(j,i,k)(0,2,0)");
 
  265                  - ((t2_2(0, 2) * t1_2(1)) - (t2_3(2, 0) * t1_1(1))),
 
  266                "T3(i,j,k)-T3(j,i,k)(0,2,1)");
 
  268                  - ((t2_2(0, 2) * t1_2(2)) - (t2_3(2, 0) * t1_1(2))),
 
  269                "T3(i,j,k)-T3(j,i,k)(0,2,2)");
 
  272                  - ((t2_2(0, 0) * t1_2(0)) - (t2_3(0, 0) * t1_1(0))),
 
  273                "T3(i,j,k)-T3(j,k,i)(0,0,0)");
 
  275                  - ((t2_2(0, 0) * t1_2(1)) - (t2_3(0, 1) * t1_1(0))),
 
  276                "T3(i,j,k)-T3(j,k,i)(0,0,1)");
 
  278                  - ((t2_2(0, 0) * t1_2(2)) - (t2_3(0, 2) * t1_1(0))),
 
  279                "T3(i,j,k)-T3(j,k,i)(0,0,2)");
 
  281                  - ((t2_2(0, 1) * t1_2(0)) - (t2_3(1, 0) * t1_1(0))),
 
  282                "T3(i,j,k)-T3(j,k,i)(0,1,0)");
 
  284                  - ((t2_2(0, 1) * t1_2(1)) - (t2_3(1, 1) * t1_1(0))),
 
  285                "T3(i,j,k)-T3(j,k,i)(0,1,1)");
 
  287                  - ((t2_2(0, 1) * t1_2(2)) - (t2_3(1, 2) * t1_1(0))),
 
  288                "T3(i,j,k)-T3(j,k,i)(0,1,2)");
 
  290                  - ((t2_2(0, 2) * t1_2(0)) - (t2_3(2, 0) * t1_1(0))),
 
  291                "T3(i,j,k)-T3(j,k,i)(0,2,0)");
 
  293                  - ((t2_2(0, 2) * t1_2(1)) - (t2_3(2, 1) * t1_1(0))),
 
  294                "T3(i,j,k)-T3(j,k,i)(0,2,1)");
 
  296                  - ((t2_2(0, 2) * t1_2(2)) - (t2_3(2, 2) * t1_1(0))),
 
  297                "T3(i,j,k)-T3(j,k,i)(0,2,2)");
 
  300                  - ((t2_2(0, 0) * t1_2(0)) - (t2_3(0, 0) * t1_1(0))),
 
  301                "T3(i,j,k)-T3(k,i,j)(0,0,0)");
 
  303                  - ((t2_2(0, 0) * t1_2(1)) - (t2_3(1, 0) * t1_1(0))),
 
  304                "T3(i,j,k)-T3(k,i,j)(0,0,1)");
 
  306                  - ((t2_2(0, 0) * t1_2(2)) - (t2_3(2, 0) * t1_1(0))),
 
  307                "T3(i,j,k)-T3(k,i,j)(0,0,2)");
 
  309                  - ((t2_2(0, 1) * t1_2(0)) - (t2_3(0, 0) * t1_1(1))),
 
  310                "T3(i,j,k)-T3(k,i,j)(0,1,0)");
 
  312                  - ((t2_2(0, 1) * t1_2(1)) - (t2_3(1, 0) * t1_1(1))),
 
  313                "T3(i,j,k)-T3(k,i,j)(0,1,1)");
 
  315                  - ((t2_2(0, 1) * t1_2(2)) - (t2_3(2, 0) * t1_1(1))),
 
  316                "T3(i,j,k)-T3(k,i,j)(0,1,2)");
 
  318                  - ((t2_2(0, 2) * t1_2(0)) - (t2_3(0, 0) * t1_1(2))),
 
  319                "T3(i,j,k)-T3(k,i,j)(0,2,0)");
 
  321                  - ((t2_2(0, 2) * t1_2(1)) - (t2_3(1, 0) * t1_1(2))),
 
  322                "T3(i,j,k)-T3(k,i,j)(0,2,1)");
 
  324                  - ((t2_2(0, 2) * t1_2(2)) - (t2_3(2, 0) * t1_1(2))),
 
  325                "T3(i,j,k)-T3(k,i,j)(0,2,2)");
 
  328                  - ((t2_2(0, 0) * t1_2(0)) - (t2_3(0, 0) * t1_1(0))),
 
  329                "T3(i,j,k)-T3(k,j,i)(0,0,0)");
 
  331                  - ((t2_2(0, 0) * t1_2(1)) - (t2_3(1, 0) * t1_1(0))),
 
  332                "T3(i,j,k)-T3(k,j,i)(0,0,1)");
 
  334                  - ((t2_2(0, 0) * t1_2(2)) - (t2_3(2, 0) * t1_1(0))),
 
  335                "T3(i,j,k)-T3(k,j,i)(0,0,2)");
 
  337                  - ((t2_2(0, 1) * t1_2(0)) - (t2_3(0, 1) * t1_1(0))),
 
  338                "T3(i,j,k)-T3(k,j,i)(0,1,0)");
 
  340                  - ((t2_2(0, 1) * t1_2(1)) - (t2_3(1, 1) * t1_1(0))),
 
  341                "T3(i,j,k)-T3(k,j,i)(0,1,1)");
 
  343                  - ((t2_2(0, 1) * t1_2(2)) - (t2_3(2, 1) * t1_1(0))),
 
  344                "T3(i,j,k)-T3(k,j,i)(0,1,2)");
 
  346                  - ((t2_2(0, 2) * t1_2(0)) - (t2_3(0, 2) * t1_1(0))),
 
  347                "T3(i,j,k)-T3(k,j,i)(0,2,0)");
 
  349                  - ((t2_2(0, 2) * t1_2(1)) - (t2_3(1, 2) * t1_1(0))),
 
  350                "T3(i,j,k)-T3(k,j,i)(0,2,1)");
 
  352                  - ((t2_2(0, 2) * t1_2(2)) - (t2_3(2, 2) * t1_1(0))),
 
  353                "T3(i,j,k)-T3(k,j,i)(0,2,2)");
 
  357  t3dg(
j, 
k, 
i) = (t2_2(
i, 
j) * t1_2(
k)) || (t2_2(
i, 
k) * t1_2(
j));
 
  358  test_for_zero(t3dg(0, 0, 0) - (t2_2(0, 0) * t1_2(0) + t2_2(0, 0) * t1_2(0)),
 
  359                "T3(i,j,k)||T3(i,k,j)(0,0,0)");
 
  360  test_for_zero(t3dg(0, 1, 0) - (t2_2(0, 0) * t1_2(1) + t2_2(0, 1) * t1_2(0)),
 
  361                "T3(i,j,k)||T3(i,k,j)(0,0,1)");
 
  362  test_for_zero(t3dg(0, 2, 0) - (t2_2(0, 0) * t1_2(2) + t2_2(0, 2) * t1_2(0)),
 
  363                "T3(i,j,k)||T3(i,k,j)(0,0,2)");
 
  364  test_for_zero(t3dg(1, 0, 0) - (t2_2(0, 1) * t1_2(0) + t2_2(0, 0) * t1_2(1)),
 
  365                "T3(i,j,k)||T3(i,k,j)(0,1,0)");
 
  366  test_for_zero(t3dg(1, 1, 0) - (t2_2(0, 1) * t1_2(1) + t2_2(0, 1) * t1_2(1)),
 
  367                "T3(i,j,k)||T3(i,k,j)(0,1,1)");
 
  368  test_for_zero(t3dg(1, 2, 0) - (t2_2(0, 1) * t1_2(2) + t2_2(0, 2) * t1_2(1)),
 
  369                "T3(i,j,k)||T3(i,k,j)(0,1,2)");
 
  370  test_for_zero(t3dg(2, 0, 0) - (t2_2(0, 2) * t1_2(0) + t2_2(0, 0) * t1_2(2)),
 
  371                "T3(i,j,k)||T3(i,k,j)(0,2,0)");
 
  372  test_for_zero(t3dg(2, 1, 0) - (t2_2(0, 2) * t1_2(1) + t2_2(0, 1) * t1_2(2)),
 
  373                "T3(i,j,k)||T3(i,k,j)(0,2,1)");
 
  374  test_for_zero(t3dg(2, 2, 0) - (t2_2(0, 2) * t1_2(2) + t2_2(0, 2) * t1_2(2)),
 
  375                "T3(i,j,k)||T3(i,k,j)(0,2,2)");
 
  376  test_for_zero(t3dg(0, 0, 1) - (t2_2(1, 0) * t1_2(0) + t2_2(1, 0) * t1_2(0)),
 
  377                "T3(i,j,k)||T3(i,k,j)(1,0,0)");
 
  378  test_for_zero(t3dg(0, 1, 1) - (t2_2(1, 0) * t1_2(1) + t2_2(1, 1) * t1_2(0)),
 
  379                "T3(i,j,k)||T3(i,k,j)(1,0,1)");
 
  380  test_for_zero(t3dg(0, 2, 1) - (t2_2(1, 0) * t1_2(2) + t2_2(1, 2) * t1_2(0)),
 
  381                "T3(i,j,k)||T3(i,k,j)(1,0,2)");
 
  382  test_for_zero(t3dg(1, 0, 1) - (t2_2(1, 1) * t1_2(0) + t2_2(1, 0) * t1_2(1)),
 
  383                "T3(i,j,k)||T3(i,k,j)(1,1,0)");
 
  384  test_for_zero(t3dg(1, 1, 1) - (t2_2(1, 1) * t1_2(1) + t2_2(1, 1) * t1_2(1)),
 
  385                "T3(i,j,k)||T3(i,k,j)(1,1,1)");
 
  386  test_for_zero(t3dg(1, 2, 1) - (t2_2(1, 1) * t1_2(2) + t2_2(1, 2) * t1_2(1)),
 
  387                "T3(i,j,k)||T3(i,k,j)(1,1,2)");
 
  388  test_for_zero(t3dg(2, 0, 1) - (t2_2(1, 2) * t1_2(0) + t2_2(1, 0) * t1_2(2)),
 
  389                "T3(i,j,k)||T3(i,k,j)(1,2,0)");
 
  390  test_for_zero(t3dg(2, 1, 1) - (t2_2(1, 2) * t1_2(1) + t2_2(1, 1) * t1_2(2)),
 
  391                "T3(i,j,k)||T3(i,k,j)(1,2,1)");
 
  392  test_for_zero(t3dg(2, 2, 1) - (t2_2(1, 2) * t1_2(2) + t2_2(1, 2) * t1_2(2)),
 
  393                "T3(i,j,k)||T3(i,k,j)(1,2,2)");
 
  394  test_for_zero(t3dg(0, 0, 2) - (t2_2(2, 0) * t1_2(0) + t2_2(2, 0) * t1_2(0)),
 
  395                "T3(i,j,k)||T3(i,k,j)(2,0,0)");
 
  396  test_for_zero(t3dg(0, 1, 2) - (t2_2(2, 0) * t1_2(1) + t2_2(2, 1) * t1_2(0)),
 
  397                "T3(i,j,k)||T3(i,k,j)(2,0,1)");
 
  398  test_for_zero(t3dg(0, 2, 2) - (t2_2(2, 0) * t1_2(2) + t2_2(2, 2) * t1_2(0)),
 
  399                "T3(i,j,k)||T3(i,k,j)(2,0,2)");
 
  400  test_for_zero(t3dg(1, 0, 2) - (t2_2(2, 1) * t1_2(0) + t2_2(2, 0) * t1_2(1)),
 
  401                "T3(i,j,k)||T3(i,k,j)(2,1,0)");
 
  402  test_for_zero(t3dg(1, 1, 2) - (t2_2(2, 1) * t1_2(1) + t2_2(2, 1) * t1_2(1)),
 
  403                "T3(i,j,k)||T3(i,k,j)(2,1,1)");
 
  404  test_for_zero(t3dg(1, 2, 2) - (t2_2(2, 1) * t1_2(2) + t2_2(2, 2) * t1_2(1)),
 
  405                "T3(i,j,k)||T3(i,k,j)(2,1,2)");
 
  406  test_for_zero(t3dg(2, 0, 2) - (t2_2(2, 2) * t1_2(0) + t2_2(2, 0) * t1_2(2)),
 
  407                "T3(i,j,k)||T3(i,k,j)(2,2,0)");
 
  408  test_for_zero(t3dg(2, 1, 2) - (t2_2(2, 2) * t1_2(1) + t2_2(2, 1) * t1_2(2)),
 
  409                "T3(i,j,k)||T3(i,k,j)(2,2,1)");
 
  410  test_for_zero(t3dg(2, 2, 2) - (t2_2(2, 2) * t1_2(2) + t2_2(2, 2) * t1_2(2)),
 
  411                "T3(i,j,k)||T3(i,k,j)(2,2,2)");
 
  413  t3dg(
i, 
k, 
j) = (t2_2(
i, 
j) * t1_2(
k)) || (t2_2(
k, 
j) * t1_2(
i));
 
  414  test_for_zero(t3dg(0, 0, 0) - (t2_2(0, 0) * t1_2(0) + t2_2(0, 0) * t1_2(0)),
 
  415                "T3(i,j,k)||T3(k,j,i)(0,0,0)");
 
  416  test_for_zero(t3dg(0, 1, 0) - (t2_2(0, 0) * t1_2(1) + t2_2(1, 0) * t1_2(0)),
 
  417                "T3(i,j,k)||T3(k,j,i)(0,0,1)");
 
  418  test_for_zero(t3dg(0, 2, 0) - (t2_2(0, 0) * t1_2(2) + t2_2(2, 0) * t1_2(0)),
 
  419                "T3(i,j,k)||T3(k,j,i)(0,0,2)");
 
  420  test_for_zero(t3dg(0, 0, 1) - (t2_2(0, 1) * t1_2(0) + t2_2(0, 1) * t1_2(0)),
 
  421                "T3(i,j,k)||T3(k,j,i)(0,1,0)");
 
  422  test_for_zero(t3dg(0, 1, 1) - (t2_2(0, 1) * t1_2(1) + t2_2(1, 1) * t1_2(0)),
 
  423                "T3(i,j,k)||T3(k,j,i)(0,1,1)");
 
  424  test_for_zero(t3dg(0, 2, 1) - (t2_2(0, 1) * t1_2(2) + t2_2(2, 1) * t1_2(0)),
 
  425                "T3(i,j,k)||T3(k,j,i)(0,1,2)");
 
  426  test_for_zero(t3dg(0, 0, 2) - (t2_2(0, 2) * t1_2(0) + t2_2(0, 2) * t1_2(0)),
 
  427                "T3(i,j,k)||T3(k,j,i)(0,2,0)");
 
  428  test_for_zero(t3dg(0, 1, 2) - (t2_2(0, 2) * t1_2(1) + t2_2(1, 2) * t1_2(0)),
 
  429                "T3(i,j,k)||T3(k,j,i)(0,2,1)");
 
  430  test_for_zero(t3dg(0, 2, 2) - (t2_2(0, 2) * t1_2(2) + t2_2(2, 2) * t1_2(0)),
 
  431                "T3(i,j,k)||T3(k,j,i)(0,2,2)");
 
  432  test_for_zero(t3dg(1, 0, 0) - (t2_2(1, 0) * t1_2(0) + t2_2(0, 0) * t1_2(1)),
 
  433                "T3(i,j,k)||T3(k,j,i)(1,0,0)");
 
  434  test_for_zero(t3dg(1, 1, 0) - (t2_2(1, 0) * t1_2(1) + t2_2(1, 0) * t1_2(1)),
 
  435                "T3(i,j,k)||T3(k,j,i)(1,0,1)");
 
  436  test_for_zero(t3dg(1, 2, 0) - (t2_2(1, 0) * t1_2(2) + t2_2(2, 0) * t1_2(1)),
 
  437                "T3(i,j,k)||T3(k,j,i)(1,0,2)");
 
  438  test_for_zero(t3dg(1, 0, 1) - (t2_2(1, 1) * t1_2(0) + t2_2(0, 1) * t1_2(1)),
 
  439                "T3(i,j,k)||T3(k,j,i)(1,1,0)");
 
  440  test_for_zero(t3dg(1, 1, 1) - (t2_2(1, 1) * t1_2(1) + t2_2(1, 1) * t1_2(1)),
 
  441                "T3(i,j,k)||T3(k,j,i)(1,1,1)");
 
  442  test_for_zero(t3dg(1, 2, 1) - (t2_2(1, 1) * t1_2(2) + t2_2(2, 1) * t1_2(1)),
 
  443                "T3(i,j,k)||T3(k,j,i)(1,1,2)");
 
  444  test_for_zero(t3dg(1, 0, 2) - (t2_2(1, 2) * t1_2(0) + t2_2(0, 2) * t1_2(1)),
 
  445                "T3(i,j,k)||T3(k,j,i)(1,2,0)");
 
  446  test_for_zero(t3dg(1, 1, 2) - (t2_2(1, 2) * t1_2(1) + t2_2(1, 2) * t1_2(1)),
 
  447                "T3(i,j,k)||T3(k,j,i)(1,2,1)");
 
  448  test_for_zero(t3dg(1, 2, 2) - (t2_2(1, 2) * t1_2(2) + t2_2(2, 2) * t1_2(1)),
 
  449                "T3(i,j,k)||T3(k,j,i)(1,2,2)");
 
  450  test_for_zero(t3dg(2, 0, 0) - (t2_2(2, 0) * t1_2(0) + t2_2(0, 0) * t1_2(2)),
 
  451                "T3(i,j,k)||T3(k,j,i)(2,0,0)");
 
  452  test_for_zero(t3dg(2, 1, 0) - (t2_2(2, 0) * t1_2(1) + t2_2(1, 0) * t1_2(2)),
 
  453                "T3(i,j,k)||T3(k,j,i)(2,0,1)");
 
  454  test_for_zero(t3dg(2, 2, 0) - (t2_2(2, 0) * t1_2(2) + t2_2(2, 0) * t1_2(2)),
 
  455                "T3(i,j,k)||T3(k,j,i)(2,0,2)");
 
  456  test_for_zero(t3dg(2, 0, 1) - (t2_2(2, 1) * t1_2(0) + t2_2(0, 1) * t1_2(2)),
 
  457                "T3(i,j,k)||T3(k,j,i)(2,1,0)");
 
  458  test_for_zero(t3dg(2, 1, 1) - (t2_2(2, 1) * t1_2(1) + t2_2(1, 1) * t1_2(2)),
 
  459                "T3(i,j,k)||T3(k,j,i)(2,1,1)");
 
  460  test_for_zero(t3dg(2, 2, 1) - (t2_2(2, 1) * t1_2(2) + t2_2(2, 1) * t1_2(2)),
 
  461                "T3(i,j,k)||T3(k,j,i)(2,1,2)");
 
  462  test_for_zero(t3dg(2, 0, 2) - (t2_2(2, 2) * t1_2(0) + t2_2(0, 2) * t1_2(2)),
 
  463                "T3(i,j,k)||T3(k,j,i)(2,2,0)");
 
  464  test_for_zero(t3dg(2, 1, 2) - (t2_2(2, 2) * t1_2(1) + t2_2(1, 2) * t1_2(2)),
 
  465                "T3(i,j,k)||T3(k,j,i)(2,2,1)");
 
  466  test_for_zero(t3dg(2, 2, 2) - (t2_2(2, 2) * t1_2(2) + t2_2(2, 2) * t1_2(2)),
 
  467                "T3(i,j,k)||T3(k,j,i)(2,2,2)");