•ππππππ

ll = ArgumentsSupply[Lagrangian[ChPTEM2[2]] /. {UMatrix[UChiralSpurionRight] -> UQuarkChargeMatrix[RenormalizationState[0], DiagonalToU -> True], UMatrix[UChiralSpurionLeft] -> UQuarkChargeMatrix[RenormalizationState[0], DiagonalToU -> True]}, x, RenormalizationState[0], DiagonalToU -> True, ExpansionOrder -> 6, DropOrder -> 6] ;

lll = DiscardTerms[ll, Retain -> {ParticleField[Pion , RenormalizationState[0]] -> 6}, CommutatorReduce -> True, Method -> Expand] ;

llle = ExpandU[lll, CommutatorReduce -> True] ;

IsoIndicesCounter = 0 ;

llll = IsoIndicesSupply[llle] // SUNReduce[#, FullReduce -> True] & // IndicesCleanup // CommutatorReduce[#, FullReduce -> True] & // Simplify ;

fields = {QuantumField[Particle[PseudoScalar[2], RenormalizationState[0]], SUNIndex[I1]][p1], QuantumField[Particle[PseudoScalar[2], RenormalizationState[0]], SUNIndex[I2]][p2], QuantumField[Particle[PseudoScalar[2], RenormalizationState[0]], SUNIndex[I3]][p3], QuantumField[Particle[PseudoScalar[2], RenormalizationState[0]], SUNIndex[I4]][p4], QuantumField[Particle[PseudoScalar[2], RenormalizationState[0]], SUNIndex[I5]][p5], QuantumField[Particle[PseudoScalar[2], RenormalizationState[0]], SUNIndex[I6]][p6]}

{π^( )^I _ 1, π^( )^I _ 2, π^( )^I _ 3, π^( )^I _ 4, π^( )^I _ 5, π^( )^I _ 6}

lala = Expand[PhiToFC[llll] /. Dot -> Times] ;

lala // Length

11

melsimplified = (I * (WriteString["stdout", "."] ; ; FunctionalD[#, fields] // SUNReduce[#, FullReduce -> True] & // IndicesCleanup // CommutatorReduce[#, FullReduce -> True] &) & /@ lala) ;

...........

mfa = MomentaCollect[melsimplified // Expand, ScalarProductForm -> Pair, PerturbationOrder -> 2] ;

gencoup = GenericCoupling[mfa]

{(e^( ))^2, (m _ π^(ó  ))^2, p _ 1 ° p _ 6, p _ 2 ° p _ 6, p _ 3 ° p _ 6, p _ 4 ° p _ 5, p _ 1 ° p _ 5, p _ 2 ° p _ 5, p _ 3 ° p _ 5, p _ 4 ° p _ 6, p _ 1 ° p _ 4, p _ 2 ° p _ 3, p _ 2 ° p _ 4, p _ 1 ° p _ 3, p _ 3 ° p _ 4, p _ 1 ° p _ 2, p _ 5 ° p _ 6}

classcoup = ClassesCoupling[mfa] // Together ;

$VeryVerbose = 2 ;

CheckF[gencoup, XName[PhiModel -> ChPTEM2, VertexFields -> {PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0]}, MomentaOrder -> 2, XFileName -> Automatic] <> ".Gen"] ;

Using file name D:\\Program Files\\Wolfram Research\\Mathematica\\4.1\\AddOns\\Applications\\HighEnergyPhysics\\Phi\\CouplingVectors\\ChPTEM2P20P20P20P20P20P20o2.Gen

File does not exist, evaluating

Saving

CheckF[classcoup, XName[PhiModel -> ChPTEM2, VertexFields -> {PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0], PseudoScalar[2][0]}, MomentaOrder -> 2, XFileName -> Automatic] <> ".Mod"] ;

Using file name D:\\Program Files\\Wolfram Research\\Mathematica\\4.1\\AddOns\\Applications\\HighEnergyPhysics\\Phi\\CouplingVectors\\ChPTEM2P20P20P20P20P20P20o2.Mod

File does not exist, evaluating

Saving

$VeryVerbose = 0 ;

Converted by Mathematica  (July 10, 2003)