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