Name: Rolf Mertig 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,
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