I should add that I have found a more severe case:
TFI[d, M1^2, {0, 0, 0, 0, 1}, {{2, 0}, {1, M2}, {1, M1}, {0, 0}, {1, M2}}]
gives
-((-2 + d)^2*(M1 - M2)*(M1 + M2)*TAI[d, 0, {{1, M1}}]*TAI[d, 0, {{1, M2}}])/(8*(-4 + d)*(-8 + 3*d)*M1^2*M2^2) -
((-2 + d)*TAI[d, 0, {{1, M2}}]^2)/(8*(-8 + 3*d)*M2^2) +
((-7*M1^2 + 2*d*M1^2 + 3*M2^2 - d*M2^2)*TJI[d, M1^2, {{2, M1}, {1, M2}, {1, M2}}])/(2*(-4 + d)*(-8 + 3*d)) +
((-7*M1^2 + 2*d*M1^2 + 3*M2^2 - d*M2^2)*TJI[d, M1^2, {{2, M2}, {1, M2}, {1, M1}}])/(2*(-4 + d)*(-8 + 3*d)) -
(2*(M1 - M2)*M2^2*(M1 + M2)*TJI[d, M1^2, {{2, M2}, {2, M1}, {1, M2}}])/((-4 + d)*(-8 + 3*d)) +
(M2^2*(-M1 + M2)*(M1 + M2)*TJI[d, M1^2, {{2, M2}, {2, M2}, {1, M1}}])/((-4 + d)*(-8 + 3*d)) +
(2*M2^2*(-M1 + M2)*(M1 + M2)*TJI[d, M1^2, {{3, M2}, {1, M2}, {1, M1}}])/((-4 + d)*(-8 + 3*d))
with many 1/(d-4)'s
and
TFI[d, s, {0, 0, 0, 0, 1}, {{2, 0}, {1, M2}, {1, M1}, {0, 0}, {1, M2}}]
gives
-((-2 + d)^2*TAI[d, 0, {{1, M2}}]^2)/(4*(-3 + d)*M2^2*(M1^2 - s)) +
((-2 + d)*TAI[d, 0, {{1, M2}}]*TBI[d, s, {{1, M1}, {1, 0}}])/(4*M2^2) + ((-8 + 3*d)*TJI[d, s, {{1, M2}, {1, M2}, {1, M1}}])/
(2*(M1^2 - s)) - (2*M1^2*TJI[d, s, {{2, M1}, {1, M2}, {1, M2}}])/(M1^2 - s) -
((M1^2 + 4*M2^2 - s)*TJI[d, s, {{2, M2}, {1, M2}, {1, M1}}])/(2*(M1^2 - s))
with nontrivial s->M1^2 limit.
I'm stuck at this stage and would be keen to know if there is a way around this.
Cheers
Robert schoefbeck
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST