Name: Rolf Mertig (email_not_shown)
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;
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}]]

This archive was generated by hypermail 2b29 : 03/29/17-03:20:03 AM Z CEST