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
\bar{u}(p,m).u(p,m)
2 m
[ex, DiracSpinorNormalization -> "Nonrelativistic"] SpinorChainEvaluate
\frac{m}{p^0}
[ex, DiracSpinorNormalization -> "Rest"] SpinorChainEvaluate
1
= SpinorUBarD[p, m] . GA[5] . SpinorUD[p, m]
ex
[ex] SpinorChainEvaluate
\bar{u}(p,m).\bar{\gamma }^5.u(p,m)
0
["BMHV"]
FCSetDiracGammaScheme
[ex] SpinorChainEvaluate
\text{BMHV}
(\varphi (p,m)).\bar{\gamma }^5.(\varphi (p,m))