Name: V. Shtabovenko Date: 12/02/18-12:25:02 PM Z


Hi,

I would probably try to cook up some replacement rule, like

FCI[LC[a, b][p, q] LC[a][r, s, t] LC[b][r, s, t]] /. {
   Eps[a_LorentzIndex, b_LorentzIndex, rest__] Eps[a_LorentzIndex,
      rest1__] Eps[b_LorentzIndex, rest2__] :> 0
   }

although I of course understand that with many terms this might be slow.
The issue
is that FeynCalc is not a tensor algebra system, so it cannot put
certain expressions to
zero judging purely from their symmetry/antisymmetry properties. One
would need something like xAct, Cadabra, RedBerry etc. to handle that
automatically.

Cheers,
Vladyslav

Am 30.11.18 um 22:54 schrieb Pablo Sanchez Puertas:
> Hello and congratulations for the program and its maintenance,
>
> For some reasons, in my calculations it is way easier to keep the LC tensors uncontracted up to the very end, so I prefer using simplifications via EpsEvaluate[] and Contract[,Rename->True,EpsContract->False].
> I found however that the following input
>
> EpsEvaluate[LC[a, b][p, q] LC[a][r, s, t] LC[b][r, s, t]]
>
> does not produce a vanishing result (but same output as input) despite this should be obvious from antisymmetry reasons. When using
>
> Contract[LC[a, b][p, q] LC[a][r, s, t] LC[b][r, s, t]]
>
> of course leads to 0, but then it would contract other LC tensors in my expression, that I prefer to avoid.
>
> Since the reasons for which is zero is only antisymmetry, I was wondering if this could be easily implemented into my expressions.
>
>
> Best regards,
> Pablo
>