ToDiracSigma
ToDiracSigma[exp, x, y]
substitutes the neighboring Dirac matrices x and y by DiracSigma
and the metric tensor.
See also
Overview, DiracGamma, DiracSigma, DiracSigmaExplicit.
Examples
GA[\[Mu], \[Nu]]
ToDiracSigma[%, GA[\[Mu]], GA[\[Nu]]]
γˉμ.γˉν
gˉμν−iσμν
GA[\[Mu], \[Nu], \[Alpha], \[Beta], \[Rho], \[Sigma]]
ToDiracSigma[%, GA[\[Alpha]], GA[\[Beta]]]
γˉμ.γˉν.γˉα.γˉβ.γˉρ.γˉσ
gˉαβγˉμ.γˉν.γˉρ.γˉσ−iγˉμ.γˉν.σαβ.γˉρ.γˉσ