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 '19 at 21:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.