Name: Xing Date: 02/19/16-08:58:10 PM Z
Hi Vladyslav,
When I tried to do TID to a rank-2 3-point loop tensor, TID with
UsePaVeBasis set to be true or false give me different results
(tid2-tid1 doesn’t vanish). Do you know why this happens.
In[24]:=
ClearScalarProducts;
SPD[p1, p1] = 0;
SPD[p2, p2] = 0;
SPD[p1, p2] = s/2;
tid1 = (ToPaVe[
TID[FV[q, mu] FV[q, nu] FAD[{q, m}, {q +
p1, m}, {q + p2, m}],
q, UsePaVeBasis -> False], q] /. D -> 4);
tid2 = (ToPaVe[
TID[FV[q, mu] FV[q, nu] FAD[{q, m}, {q +
p1, m}, {q + p2, m}],
q, UsePaVeBasis -> True], q] /. D -> 4 //
PaVeReduce);
FullSimplify[tid1 - tid2]
Out[30]= -((I \[Pi]^2 (s Overscript[g, _]^(munu)-2 (Overscript[p2, _]^mu Overscript[p1, _]^nu+Overscript[p1, _]^mu Overscript[p2, _]^nu)))/(4 s))
Cheers,
Xing