Name: Vladyslav Shtabovenko 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.

Cheers,
Vladyslav