To learn how to use FeynCalc to evaluate traces of Dirac matrices and Lorentz contractions we will give a few examples.
The relevant matrix element can be written as
where
with
.
Once summed and averaged over spins we get
The mathematica program that evaluates the traces is Bhabha.m.
Hence the spin averaged squared amplitude is
with
The program that calculates the traces is muemue.m.
Neglecting the electron mass, and considering a generic fermion f of charge , the spin averaged squared amplitude is (see, for example Introdução à Teoria do Campo by Jorge C. Romão, pag 128)
where
The program that calculates the traces is eEmM.m.
The program that calculates the traces is eGeG.m.
The program that calculates the traces is eEGG.m.