DiracChain[x, i, j]
denotes a chain of Dirac matrices x
, where the Dirac indices i
and j
are explicit.
Overview, DiracChain, DCHN, DiracIndex, DiracIndexDelta, DiracChainJoin, DiracChainExpand, DiracChainFactor.
A standalone Dirac matrix
[DiracGamma[LorentzIndex[\[Mu]]], DiracIndex[i], DiracIndex[j]] DiracChain
A chain of Dirac matrices with open indices
[DiracGamma[LorentzIndex[\[Mu], D], D] . DiracGamma[LorentzIndex[\[Nu], D], D], DiracIndex[i], DiracIndex[j]] DiracChain
A DiracChain with only two arguments denotes a spinor component
[Spinor[Momentum[p], m], DiracIndex[i]] DiracChain
[Spinor[Momentum[-p], m], DiracIndex[i]] DiracChain
[DiracIndex[i], Spinor[Momentum[p], m]] DiracChain
[DiracIndex[i], Spinor[Momentum[-p], m]] DiracChain
The chain may also be partially open or closed
[DiracGamma[LorentzIndex[\[Mu]]] . (m + DiracGamma[Momentum[p]]) . DiracGamma[LorentzIndex[\[Nu]]], Spinor[Momentum[p], m, 1], DiracIndex[j]] DiracChain
[DiracGamma[LorentzIndex[\[Mu]]] . (m + DiracGamma[Momentum[p]]) . DiracGamma[LorentzIndex[\[Nu]]], DiracIndex[i], Spinor[Momentum[p], m, 1]] DiracChain
[DiracGamma[LorentzIndex[\[Mu]]] . (m + DiracGamma[Momentum[p]]) . DiracGamma[LorentzIndex[\[Nu]]], Spinor[Momentum[p1], m1, 1], Spinor[Momentum[p2], m2, 1]] DiracChain
[1, Spinor[Momentum[p1], m1, 1], Spinor[Momentum[p2], m2, 1]] DiracChain