constraint = FeynCalcInternal[ FV[p,muPAT] FV[p,nuPAT] -> PolarizationSum[mu, nu, p1] ]/. {muPAT:>mu_, nuPAT:>nu_};
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST