Hello,

I'm trying to figure out the symbolic tensors in Mathematica, but I'm getting some odd results. I have 4 vectors (a, b, c, d)

$Assumptions =

(a | b | c | d) \[Element] Arrays[{3}, Reals];

and I want to calculate a tensor product

(a\[TensorWedge]b)\[TensorProduct](c\[TensorWedge]d)

The output of this is

1/4 (a\[TensorProduct]b -

TensorTranspose[

a\[TensorProduct]b, {2, 1}])\[TensorProduct](c\[TensorProduct]d -

TensorTranspose[c\[TensorProduct]d, {2, 1}])

My question is why is that factor of 1/4 there? According to the manual when TensorWedge[a,b] is equal to Multinomial[TensorRank, TensorRank]*

Symmetrize[TensorProduct[a,b], Antisymmetric]. If I substitute this expression in the tensor product, i.e. calculate

(Multinomial[TensorRank[a], TensorRank[b]]*

Symmetrize[a\[TensorProduct]b,

Antisymmetric[All]])\[TensorProduct](Multinomial[TensorRank[c],

TensorRank[d]]*Symmetrize[c\[TensorProduct]d, Antisymmetric[All]])

I get

(a\[TensorProduct]b -

TensorTranspose[

a\[TensorProduct]b, {2, 1}])\[TensorProduct](c\[TensorProduct]d -

TensorTranspose[c\[TensorProduct]d, {2, 1}])

Which is the same as before, but without the 1/4 coefficient. However, if I use numerical tensors and calculate explicitly TensorWedge[a,b] and TensorWedge[b,c] in separate cells and paste the results into

(a\[TensorWedge]b)\[TensorProduct](c\[TensorWedge]d)

I also get the result without the 1/4 coefficient. It seems to me that Mathematica forgets about the Multinomial coefficients when doing the tensor product with symbolic tensors. Does anyone know why this is happening? I haven't found anything in the manual that would explain this behaviour. It seems like a bug to me.

Greetings,

Richard