•Equations of motion

eomside0 = UTrace[-I/2 NM[(NM[HRight[x], HRight[x]] - NM[HLeft[x], HLeft[x]]), UChiMinus[x] - 1/SUNN UTrace[UChiMinus[x]] + 2 UCouplingConstant[ChPTVirtualPhotons2[2]]/DecayConstant[Pion]^2 * UCommutator[HLeft[x], HRight[x]]]] // NMExpand // Expand // CommutatorReduce

1/2 i < H _ L '6 H _ L '6 χ _ - > - 1/2 i < H _ R '6 H _ R '6 χ _ - > + (i C^( ) < H _ L '6 H _ L '6 H _ L '6 H _ R >)/(f _ π^(ó  ))^2 - (i C^( ) < H _ L '6 H _ L '6 H _ R '6 H _ L >)/(f _ π^(ó  ))^2 - (i C^( ) < H _ R '6 H _ R '6 H _ L '6 H _ R >)/(f _ π^(ó  ))^2 + (i C^( ) < H _ R '6 H _ R '6 H _ R '6 H _ L >)/(f _ π^(ó  ))^2 - (i < H _ L '6 H _ L > < χ _ - >)/(2 GaugeGroup) + (i < H _ R '6 H _ R > < χ _ - >)/(2 GaugeGroup)

eomside1 = eomside0 /. $Substitutions // UReduce[#, SMMToMM -> True] &

-(i (< ÷„^† '6 χ > - < χ^† '6 ÷„ >) (< Q _ L '6 Q _ L > + < Q _ R '6 Q _ R > - 2 < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L >))/(2 GaugeGroup) + (i (< ÷„^† '6 χ > - < χ^† '6 ÷„ >) (< Q _ L '6 Q _ L > + < Q _ R '6 Q _ R > + 2 < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L >))/(2 GaugeGroup) + 1/2 i (< ÷„^† '6 χ '6 Q _ L '6 Q _ L > - < ÷„^† '6 Q _ R '6 χ '6 Q _ L > + < ÷„^† '6 Q _ R '6 Q _ R '6 χ > - < χ^† '6 ÷„ '6 Q _ L '6 Q _ L > + < χ^† '6 Q _ R '6 ÷„ '6 Q _ L > - < χ^† '6 Q _ R '6 Q _ R '6 ÷„ > + < ÷„^† '6 Q _ R '6 ÷„ '6 χ^† '6 ÷„ '6 Q _ L > - < ÷„ '6 Q _ L '6 ÷„^† '6 χ '6 ÷„^† '6 Q _ R >) - 1/2 i (< ÷„^† '6 χ '6 Q _ L '6 Q _ L > + < ÷„^† '6 Q _ R '6 χ '6 Q _ L > + < ÷„^† '6 Q _ R '6 Q _ R '6 χ > - < χ^† '6 ÷„ '6 Q _ L '6 Q _ L > - < χ^† '6 Q _ R '6 ÷„ '6 Q _ L > - < χ^† '6 Q _ R '6 Q _ R '6 ÷„ > - < ÷„^† '6 Q _ R '6 ÷„ '6 χ^† '6 ÷„ '6 Q _ L > + < ÷„ '6 Q _ L '6 ÷„^† '6 χ '6 ÷„^† '6 Q _ R >)

eomside = eomside1 /. SUNN -> 2 /. su2qchalhamrule2 /. su2qchalhamrule3 /. su2qchalhamrule4 // NMExpand // Expand

i < ÷„^† '6 χ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L > - i < χ^† '6 ÷„ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L > - i < ÷„^† '6 Q _ R '6 χ '6 Q _ L > + i < χ^† '6 Q _ R '6 ÷„ '6 Q _ L > + i < ÷„^† '6 Q _ R '6 ÷„ '6 χ^† '6 ÷„ '6 Q _ L > - i < ÷„ '6 Q _ L '6 ÷„^† '6 χ '6 ÷„^† '6 Q _ R >

eom = eomside - rhd /. UTrace1[UMatrix[(UChiralSpurionRight | UChiralSpurionLeft)[]][x]] -> UTrace1[UMatrix[(UChiralSpurion)[]][x]] // Expand

2 i < ÷s _ μ(÷„)^† '6 c _ μ^R Q _ R '6 ÷„ '6 Q _ L > + 2 i < ÷s _ μ(÷„)^† '6 Q _ R '6 ÷„ '6 c _ μ^L Q _ L > - 2 i < ÷„^† '6 c _ μ^R Q _ R '6 ÷s _ μ(÷„) '6 Q _ L > - 2 i < ÷„^† '6 Q _ R '6 ÷s _ μ(÷„) '6 c _ μ^L Q _ L > + i < ÷„^† '6 χ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L > - i < χ^† '6 ÷„ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L > - i < ÷„^† '6 Q _ R '6 χ '6 Q _ L > + i < χ^† '6 Q _ R '6 ÷„ '6 Q _ L > + i < ÷„^† '6 Q _ R '6 ÷„ '6 χ^† '6 ÷„ '6 Q _ L > - i < ÷„ '6 Q _ L '6 ÷„^† '6 χ '6 ÷„^† '6 Q _ R > + 2 i < Q _ L '6 ÷s _ μ(÷„)^† '6 ÷„ '6 ÷s _ μ(÷„)^† '6 Q _ R '6 ÷„ > - 2 i < Q _ L '6 ÷„^† '6 Q _ R '6 ÷s _ μ(÷„) '6 ÷„^† '6 ÷s _ μ(÷„) >

List @@ eom

{2 i < ÷s _ μ(÷„)^† '6 c _ μ^R Q _ R '6 ÷„ '6 Q _ L >, 2 i < ÷s _ μ(÷„)^† '6 Q _ R '6 ÷„ '6 c _ μ^L Q _ L >, -2 i < ÷„^† '6 c _ μ^R Q _ R '6 ÷s _ μ(÷„) '6 Q _ L >, -2 i < ÷„^† '6 Q _ R '6 ÷s _ μ(÷„) '6 c _ μ^L Q _ L >, i < ÷„^† '6 χ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L >, -i < χ^† '6 ÷„ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L >, -i < ÷„^† '6 Q _ R '6 χ '6 Q _ L >, i < χ^† '6 Q _ R '6 ÷„ '6 Q _ L >, i < ÷„^† '6 Q _ R '6 ÷„ '6 χ^† '6 ÷„ '6 Q _ L >, -i < ÷„ '6 Q _ L '6 ÷„^† '6 χ '6 ÷„^† '6 Q _ R >, 2 i < Q _ L '6 ÷s _ μ(÷„)^† '6 ÷„ '6 ÷s _ μ(÷„)^† '6 Q _ R '6 ÷„ >, -2 i < Q _ L '6 ÷„^† '6 Q _ R '6 ÷s _ μ(÷„) '6 ÷„^† '6 ÷s _ μ(÷„) >}

eomRule3 = Expand /@ ((-I * 1/2 * eom[[1]] /. {μ -> μ_, x -> x_}) -> I * 1/2 * Plus @@ Drop[eom, {1}])

< ÷s _ μ_(÷„)^† '6 c _ μ_^R Q _ R '6 ÷„ '6 Q _ L > -> -< ÷s _ μ(÷„)^† '6 Q _ R '6 ÷„ '6 c _ μ^L Q _ L > + < ÷„^† '6 c _ μ^R Q _ R '6 ÷s _ μ(÷„) '6 Q _ L > + < ÷„^† '6 Q _ R '6 ÷s _ μ(÷„) '6 c _ μ^L Q _ L > - 1/2 < ÷„^† '6 χ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L > + 1/2 < χ^† '6 ÷„ > < ÷„^† '6 Q _ R '6 ÷„ '6 Q _ L > + 1/2 < ÷„^† '6 Q _ R '6 χ '6 Q _ L > - 1/2 < χ^† '6 Q _ R '6 ÷„ '6 Q _ L > - 1/2 < ÷„^† '6 Q _ R '6 ÷„ '6 χ^† '6 ÷„ '6 Q _ L > + 1/2 < ÷„ '6 Q _ L '6 ÷„^† '6 χ '6 ÷„^† '6 Q _ R > - < Q _ L '6 ÷s _ μ(÷„)^† '6 ÷„ '6 ÷s _ μ(÷„)^† '6 Q _ R '6 ÷„ > + < Q _ L '6 ÷„^† '6 Q _ R '6 ÷s _ μ(÷„) '6 ÷„^† '6 ÷s _ μ(÷„) >

Converted by Mathematica  (July 10, 2003)