Name: Vladyslav Shtabovenko (email_not_shown)
Date: 12/13/16-04:44:23 PM Z

With the current stable version (9.2) the output is correct:

OneLoopSimplify[FVD[p, mu] SPD[p, k] FAD[{p}, {p, m}], p]

(FeynAmpDenominator[PropagatorDenominator[Momentum[p, D], m]]*
   Pair[LorentzIndex[mu, D], Momentum[k, D]])/D

However, I added your example to the unit tests, just in case.


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