Name: Rolf Mertig (email_not_shown)
Date: 09/18/08-11:37:23 PM Z

Hello Sasha,

there is no bug.
But you have to be careful using PaVeReduce since it does a limit
D->4, which implies some special relations between B00, B1, etc.

So if you want to see what is going on and especially test FeynCalc,
please use $LimitTo4 = True
like below (where diff evaluates to 0 at the end since the overall
factor is (D-4) ).

Regards from Berlin,


Remove["System`OverVector"]; (* this is just to suppress a message in Mathematica 6*)
$LimitTo4 = False;
LoopFunc = FVD[q, \[Mu]]*FVD[q, \[Nu]]*FAD[{q, Subscript[m, 0]},
         {q + Subscript[p, 1], Subscript[m, 1]}];
test1 = OneLoop[q, Contract[MTD[\[Mu], \[Nu]]*LoopFunc,
         OneLoopSimplify -> False]];
test2 = Contract[MTD[\[Mu], \[Nu]]*OneLoop[q, LoopFunc,
           OneLoopSimplify -> False]];
diff = PaVeReduce[test1 - test2]
diff /. D -> 4

This archive was generated by hypermail 2b29 : 10/24/18-04:40:01 AM Z CEST