10{
   14 
   18 
   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)");
   46 
   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)");
   74 
   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)");
  102 
  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)");
  130 
  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)");
  158 
  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)");
  186 
  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)");
  214 
  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)");
  242 
  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)");
  270 
  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)");
  298 
  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)");
  326 
  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)");
  354 
  356 
  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)");
  412 
  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)");
  468}
FTensor::Index< 'i', SPACE_DIM > i
FTensor::Index< 'j', 3 > j
FTensor::Index< 'k', 3 > k
void test_for_zero(const T &t, const std::string &s)