FCLoopSamePropagatorHeadsQ[exp]
returns True
if the FeynAmpDenominator
of exp
contains only propagator denominators of the same type (e.g. only StandardPropagatorDenominator
or only CartesianPropagatorDenominator
).
[q, q - p]
FCI@SFAD
[%] FCLoopSamePropagatorHeadsQ
[CFAD[q, q - p] SFAD[l, l + k]]
FeynAmpDenominatorCombine
[%] FCLoopSamePropagatorHeadsQ