Welcome to Cadabra Q&A, where you can ask questions and receive answers from other members of the community.
0 votes

Need help with the following code. Trying to show

$\epsilon^{iklm} \epsilon{prlm}
= - 2( \delta
p^i \delta^kr - \delta^ir \delta^k_p ) $

Tried the following code:

yields $2( \deltap^i \delta^kr - \delta^ir \delta^kp )$ without negative sign!

{i,k ,l,m,p,r}::Indices.
{i,k,l,m,p,r}::Integer(1..4).
\delta{#}::KroneckerDelta.
\epsilon^{i k l m}::EpsilonTensor(delta = \delta);

eq3 := \epsilon^{i k l m} \epsilon_{p r l m};
epsilon_to_delta(_);
expand_delta(_);

enter code here

asked in General questions by

1 Answer

0 votes

Cadabra's epsilon product will always produce a plus sign, irrespective of the signature of the metric. So you'll need to stick in that '-1' by hand if your convention is different.

answered by (54.4k points)
...