Name: Manuel J. Vicente Date: 07/22/15-07:11:41 PM Z
Thank you for your prompt answer!
The correction solved the problem for that piece, but it seems that it’s not enough for
amp = DiracGamma[Momentum[z, D], D].GA5
FeynAmpDenominator[
PropagatorDenominator[Momentum[z, D], M],
PropagatorDenominator[Momentum[k, D] + Momentum[z,
D], M],
PropagatorDenominator[-Momentum[k, D] + Momentum[pp,
D] -
Momentum[z, D], MD],
PropagatorDenominator[Momentum[p, D] - Momentum[z,
D], m]] Pair[
Momentum[k, D], Momentum[z, D]]
TID[amp, z]
This is related to the previous one with an extra GA5. I checked your change of TID.m with the additional
t0 = DiracGammaExpand[t0]
and it seems that the expansion is not really complete in this case.
Taking instead
t0 = DiracGammaExpand[t0]//DiracSimplify
seems to solve the problem, at least for this particular case.
best regards
Manuel J. Vicente