ScalarProductCancel

Description

ScalarProductCancel[exp, q1, q2, ...] cancels scalar products with propagators. ScalarProductCancel[exp] cancels simple cases.

SPC

ScalarProductCancel // Options

?SPC

Examples

See also:  FeynAmpDenominatorSimplify.

t1  =  SPD[q, p] FAD[{q, m}, {q - p, 0}] // FCI

ScalarProductCancel[t1, q]

FeynAmpDenominatorSimplify[%, q]

SPC[t1, q, FDS -> True]

t2  =  
      SPD[q2, p] SPD[q1, p] FAD[{q1, m}, {q2, m}, q1 - p, q2 - p, q2 - q1] // 
        FCI

SPC[t2, q1, q2, FDS -> True]

Clear[t1, t2];