(* Program to calculate the traces of the decay of the muon, Eq. (8.64) of QFT

 Last Version: 06/12/2024
 Compatible with FeynCalc 10.1.0
 Author: Jorge C. Romao
 email: jorge.romao@tecnico.ulisboa.pt
*)

(* Uncomment of not already loaded *)
(* Load FeynCalc 

<< FeynCalc`

*)

Remove["Global`*"]


(* Definition to simplify writing *)

prop[p_,m_]:=GS[p]+m
PL=(1 -GA[5])/2

(* Program *)
cst= g/Sqrt[2]/MW
Line1:= GS[q1] . GA[mu] . PL .  prop[k,mmu] . GA[nu] . PL 
Line2:= prop[p,me] . GA[mu] . PL . GS[q2] . GA[nu] . PL  
ans= Simplify[Contract[TR[Line1] TR[Line2]]]
ans=cst^4 ans/2;

Print["\!\(\*FractionBox[\(1\), \(2\)]\) \!\(\*UnderscriptBox[\(\[Sum]\), \(spins\)]\)|M\!\(\*SuperscriptBox[\(|\), \(2\)]\) = ",ans]
(*********************  End Program  **********************)
