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,
Rolf
Remove["System`OverVector"]; (* this is just to suppress a message in Mathematica 6*)
Needs["HighEnergyPhysics`FeynCalc`"]
$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 : 09/04/20-12:55:05 AM Z CEST