constraint = FeynCalcInternal[ FV[p,muPAT] FV[p,nuPAT] -> PolarizationSum[mu, nu, p1] ]/. {muPAT:>mu_, nuPAT:>nu_};
This archive was generated by hypermail 2b29 : 02/16/19-09:00:01 AM Z CET