FCLoopRemoveNegativePropagatorPowers[exp]
rewrites propagators raised to integer powers as products.
[{q, m, -1}]
SFAD
= FCLoopRemoveNegativePropagatorPowers[%] ex
(q^2-m+i \eta )
q^2-m
// StandardForm
ex
(*-m + Pair[Momentum[q, D], Momentum[q, D]]*)
[{q, m}, q + p, {q, m, -2}]
SFAD
= FCLoopRemoveNegativePropagatorPowers[%] ex
\frac{1}{(q^2-m+i \eta ).((p+q)^2+i \eta ).\frac{1}{(q^2-m+i \eta )^2}}
\frac{q^2-m}{((p+q)^2+i \eta )}
// StandardForm
ex
(*FeynAmpDenominator[StandardPropagatorDenominator[Momentum[p, D] + Momentum[q, D], 0, 0, {1, 1}]] (-m + Pair[Momentum[q, D], Momentum[q, D]])*)