DiracGammaCombine[exp]
is (nearly) the inverse operation to DiracGammaExpand
.
Overview, DiracGamma, DiracGammaExpand, DiracSimplify, DiracTrick.
[p] + GS[q]
GS
= DiracGammaCombine[%] ex
\bar{\gamma }\cdot \overline{p}+\bar{\gamma }\cdot \overline{q}
\bar{\gamma }\cdot \left(\overline{p}+\overline{q}\right)
// StandardForm
ex
(*DiracGamma[Momentum[p + q]]*)
2 GSD[p] - 3 GSD[q]
= DiracGammaCombine[%] ex
2 \gamma \cdot p-3 \gamma \cdot q
\gamma \cdot (2 p-3 q)
// StandardForm
ex
(*DiracGamma[Momentum[2 p - 3 q, D], D]*)
[2 GSD[p] - 3 GSD[q]]
DiracGammaCombine
[%] DiracGammaExpand
\gamma \cdot (2 p-3 q)
2 \gamma \cdot p-3 \gamma \cdot q