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