Kind of.
If you look at the source code in
HighEnergyPhysics/fctools/DiracSimplify.m you see a bunch
of sirlin2, sirlin3, etc. functions which implement some
Fierz transformations ( this is all quite basic, done around 1992 ).
(* There was an omission in this function, so it will only work in
FeynCalc 8.0.3 *)
E.g.:
tt = Spinor[pa].GS[pj].GS[pi].GA[mu].Spinor[pb]*
Spinor[pi].GA[mu].Spinor[pj]
tt // DiracSimplify // FCE // InputForm
gives:
Spinor[Momentum[pa], 0, 1] . GA[$MU[1]] .
Spinor[Momentum[pb], 0, 1]*Spinor[Momentum[pi], 0, 1] .
GA[$MU[1]] . Spinor[Momentum[pj], 0, 1]*SP[pi, pj] -
Spinor[Momentum[pa], 0, 1] . GA[$MU[1]] . GA[5] .
Spinor[Momentum[pb], 0, 1]*Spinor[Momentum[pi], 0, 1] .
GA[$MU[1]] . GA[5] . Spinor[Momentum[pj], 0, 1]*SP[pi, pj]
Rolf
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST