Let's sayI have the following expression in xAct enter image description here

where covariant derivatives are commutative, $\epsilon$ and $h$ are symmetric tensors.

As we can see this expression is equivalent to

enter image description here

If we symmetrize it with respect to indices $i,j,k,l$

Is there any way to express the first expression like the second one with some sort of SymmetryGroup attached to it?

  • $\begingroup$ Can you add how did you define the tensors h and epsilon? Did you add their symmetry there? It's important that you provide full, reproducible code. $\endgroup$
    – jose
    Sep 15, 2019 at 21:21


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.