FeynCalc manual (development version)

FCLoopSamePropagatorHeadsQ

FCLoopSamePropagatorHeadsQ[exp] returns True if the FeynAmpDenominator of exp contains only propagator denominators of the same type (e.g. only StandardPropagatorDenominator or only CartesianPropagatorDenominator).

See also

Overview, FeynAmpDenominator.

Examples

FCI@SFAD[q, q - p] 
 
FCLoopSamePropagatorHeadsQ[%]

1(q2+iη).((q−p)2+iη)\frac{1}{(q^2+i \eta ).((q-p)^2+i \eta )}

True\text{True}

FeynAmpDenominatorCombine[CFAD[q, q - p] SFAD[l, l + k]] 
 
FCLoopSamePropagatorHeadsQ[%]

1(q2−iη).((q−p)2−iη).(l2+iη).((k+l)2+iη)\frac{1}{(q^2-i \eta ).((q-p)^2-i \eta ).(l^2+i \eta ).((k+l)^2+i \eta )}

False\text{False}