Name: Vladyslav Shtabovenko Date: 12/19/16-02:44:17 PM Z
Alternatively, one could also use FIRE via FeynHelpers:
$LoadAddOns = {“FeynHelpers”};
«FeynCalc`
tst1 = FAD[{l, mf}, {l, mf}, {l, mf}] (4 mf FVD[l, mu]
FVD[l, nu] +
mf^3 MTD[mu, nu] - mf MTD[mu, nu] SPD[l,
l]);
tst2 = TID[tst1, l]
FIREBurn[tst2, {l}, {}]
which also gives 0.
Cheers,
Vladyslav
> Yes, there you need to use TARCER.
> The following returns 0:
>
> $LoadTARCER = True; $LoadFeynArts = $LoadPhi = False;
> $FeynCalcStartupMessages = False;
> Needs[“HighEnergyPhysics`FeynCalc`”];
> tst1 =
FeynAmpDenominator[PropagatorDenominator[Momentum[l,
D],
> Sqrt[mf^2]], PropagatorDenominator[Momentum[l,
D], Sqrt[mf^2]],
> PropagatorDenominator[Momentum[l, D],
Sqrt[mf^2]]]*
> (mf^3*Pair[LorentzIndex[mu, D], LorentzIndex[nu,
D]] +
> 4*mf*Pair[LorentzIndex[mu, D], Momentum[l,
D]]*
> Pair[LorentzIndex[nu, D], Momentum[l, D]]
-
> mf*Pair[LorentzIndex[mu, D], LorentzIndex[nu,
D]]*
> Pair[Momentum[l, D], Momentum[l, D]]);
> TarcerRecurse[ToFI[OneLoopSimplify[tst1, l], {l},
{0}]]