Name: Peter Conkey Date: 05/10/16-01:30:16 AM Z
I am using FeynCalc 9.01 in Mathematica 10.4 (The same occurred in FeynCalc 9.0 in Mathematica 10.3).
OneLoop behaves apparently inconsistently as follows :
example =
FeynAmpDenominator[PropagatorDenominator[Momentum[q1],
0],
PropagatorDenominator[Momentum[-k1 - k2 - k3 - k4 + q1],
0]]*
Pair[Momentum[k1], Momentum[q1]]*
Pair[Momentum[k2], Momentum[k1 + k2 + k3 + k4 -
q1]]*
Pair[Momentum[p1], Momentum[-k1 - k2 - k3 - k4 +
q1]]*
Pair[Momentum[p2], Momentum[q1]];
OneLoop[q1, %, OneLoopSimplify -> True]
produces an error
FCApart::checkfail:
Error! Partial fractioning of the loop integral
FeynAmpDenominator[PropagatorDenominator[Momentum[q1,
D], 0], PropagatorDenominator[-Momentum[k1, D] -
Momentum[k2, D] - Momentum[k3, D] - Momentum[k4,
D] + Momentum[q1, D],
0]]*(-Pair[Momentum[k1, D], Momentum[q1,
D]] - Pair[Momentum[k2, D], Momentum[q1,
D]] - Pair[Momentum[k3, D], Momentum[q1,
D]] - Pair[Momentum[k4, D], Momentum[q1,
D]])^2*Pair[Momentum[q1, D], Momentum[q1,
D]] by FCApart has produced an inconsistent result. Evaluation
aborted
1/2
(-1-Pair[Momentum[k1,D],Momentum[q1,D]]-Pair[Momentum[k2,D],Momentum[q1,D]]-Pair[Momentum[k3,D],Momentum[q1,D]]-Pair[Momentum[k4,D],Momentum[q1,D]])
However
example /.
{ -k1 -k2 -k3-k4 -> -b,
k1 +k2 +k3 +k4 -> b};
OneLoop[q1, %, OneLoopSimplify -> True]
produce a result.