Name: Rolf Mertig Date: 02/11/14-04:02:03 PM Z


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]]