DiracChainExpand[exp]
expands all Dirac chains with
explicit indices using linearity,
e.g. DCHN[GA[p1]+GA[p2]+m,i,j]
becomes
DCHN[GA[p1],i,j]+DCHN[GA[p2],i,j]+m*DCHN[1,i,j]
.
Overview, DiracChain, DCHN, DiracIndex, DiracIndexDelta, DIDelta, DiracChainJoin, DiracChainCombine, DiracChainFactor.
[(GS[p] + m) . GA[mu], i, j]
DCHN
[%] DiracChainExpand