GSE[p]
can be used as input for a -dimensional and is transformed into DiracGamma[Momentum[p,D-4],D-4]
by FeynCalcInternal
(FCI
). GSE[p,q, ...]
is a short form for GSE[p].GSE[q]. ...
.
Overview, DiracGamma, GA, GAD, GSD.
[p] GSE
[p] // FCI // StandardForm
GSE
(*DiracGamma[Momentum[p, -4 + D], -4 + D]*)
[p, q, r, s] GSE
[p, q, r, s] // StandardForm
GSE
(*GSE[p] . GSE[q] . GSE[r] . GSE[s]*)
[q] . (GSE[p] + m) . GSE[q] GSE
In order to use Dirac algebra with dimensional objects you need to activate the t’Hooft-Veltman-Breitenlohner-Maison scheme first
["NDR"];
FCSetDiracGammaScheme
[GSE[q] . GS[q] . GSE[q]] DiracSimplify
["BMHV"];
FCSetDiracGammaScheme
[GSE[q] . GS[q] . GSE[q]] DiracSimplify
["NDR"]; FCSetDiracGammaScheme