Name: Vladyslav Shtabovenko Date: 07/22/15-11:32:54 PM Z
Sorry for the inconvenience. With the latest commits I’ve improved
couple of things to ensure that pieces that require further
simplification will be caught by the lower functions before they go
into
the main algorithm of TID. So now it should work.
Please let me know if there are still issues with your expressions.
Cheers,
Vladyslav
Am 22.07.2015 um 19:11 schrieb Manuel J.Vicente:
> 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
>
>
>