Name: Rolf Mertig Date: 08/30/11-06:51:35 PM Z
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