Name: Jorge C. Romão Date: 03/02/20-05:00:59 PM Z
I am moving from OneLoop to TID. However, consider
amp=FAD[{k1, m1}, {k1 - p1, m2}, {k1 - q1, m3}, q2 + q3]
which appears in a non irreducible diagram. Now
TID[amp,k1,ToPaVe->True]//FCE//InputForm =
I*Pi^2*C0[SPD[p1, p1], SPD[q1, q1], SPD[p1,
p1] - 2*SPD[p1, q1] + SPD[q1, q1], m2^2, m1^2,
m3^2]*FAD[q2 + q3]
as it should. However
TID[amp,k1,UsePaVeBasis->True]//FCE//InputForm
=FAD[q2 + q3]*FAD[{k1, m1}, {k1 - p1, m2}, {k1 - q1,
m3}]
that is does nothing!
This is a piece inserted in a large code and one does not want to look at each term and want to use UsePaVeBasis->True to get fewer terms.
Best
Jorge