SpinorChainEvaluate[exp]
explicitly evaluates suitable spinor chains, i.e. it replaces a DOT[Spinor[...],...,Spinor[...]]
with a scalar quantity without a DOT.
= SpinorUBar[p, m] . SpinorU[p, m]
ex
[ex] SpinorChainEvaluate
[ex, DiracSpinorNormalization -> "Nonrelativistic"] SpinorChainEvaluate
[ex, DiracSpinorNormalization -> "Rest"] SpinorChainEvaluate
= SpinorUBarD[p, m] . GA[5] . SpinorUD[p, m]
ex
[ex] SpinorChainEvaluate
["BMHV"]
FCSetDiracGammaScheme
[ex] SpinorChainEvaluate