Name: Rolf Mertig Date: 02/28/12-06:01:49 PM Z

constraint = FeynCalcInternal[
               FV[p,muPAT] FV[p,nuPAT] -> PolarizationSum[mu, nu, p1] ]/. {muPAT:>mu_, nuPAT:>nu_};