•The eta

zeta = CheckF[dum, "ChPT3P110o2.Fac"]

Using file name D:\\Program Files\\Wolfram Research\\Mathematica\\4.1\\AddOns\\Applications\\HighEnergyPhysics\\Phi\\Factors\\ChPT3P110o2.Fac

File exists, loading

((32 π^2 (24 L _ 4^( ) + 16 L _ 5^( ) - 3 λ) - 3 log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2 + 16 π^2 (3 (f _ ϕ^(ó  ))^2 + 8 (3 L _ 4^( ) - L _ 5^( )) (m _ π^(ó  ))^2))/(48 π^2 (f _ ϕ^(ó  ))^2)

ff2 = -I * melsimplified /. _SU3Delta -> 1

2 f _ ϕ^(ó  ) !, _ 0^( )

$ConstantIsoIndices = {i1, i3, I1, I2} ;

amploop = ampinfinities /. i1 -> 8 // SUNReduce // SUNReduce // Simplify

-((3 (32 π^2 λ + log((m _ π^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 + 4 (32 π^2 λ + log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2 + 3 (32 π^2 λ + log((m _ η^(ó  ))^2/μ^2)) (m _ η^(ó  ))^2) !, _ 0^( ))/(48 π^2 f _ ϕ^(ó  ))

ampct = -I * amp4 /. I2 -> I1 /. I1 -> 8 /. subpar /. udrules // SUNReduce // Simplify

(32 (3 L _ 6^( ) ((m _ π^(ó  ))^2 + 2 (m _ K^(ó  ))^2) - L _ 8^( ) ((m _ π^(ó  ))^2 - 4 (m _ K^(ó  ))^2)) !, _ 0^( ))/(3 f _ ϕ^(ó  ))

ampwf = ff2 (1 + (2 - zeta))/2 // Simplify

f _ ϕ^(ó  ) (3 - ((32 π^2 (24 L _ 4^( ) + 16 L _ 5^( ) - 3 λ) - 3 log((m _ K^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2 + 16 π^2 (3 (f _ ϕ^(ó  ))^2 + 8 (3 L _ 4^( ) - L _ 5^( )) (m _ π^(ó  ))^2))/(48 π^2 (f _ ϕ^(ó  ))^2)) !, _ 0^( )

ff4 = amploop + ampct + ampwf // ExpandAll // FullSimplify

1/(48 π^2 f _ ϕ^(ó  )) ((96 π^2 (f _ ϕ^(ó  ))^2 + 128 π^2 L _ 5^( ) (m _ π^(ó  ))^2 + 1536 π^2 L _ 6^( ) (m _ π^(ó  ))^2 - 512 π^2 L _ 8^( ) (m _ π^(ó  ))^2 - 96 π^2 λ (m _ π^(ó  ))^2 - 3 log((m _ π^(ó  ))^2/μ^2) (m _ π^(ó  ))^2 - 512 π^2 L _ 5^( ) (m _ K^(ó  ))^2 + 3072 π^2 L _ 6^( ) (m _ K^(ó  ))^2 + 2048 π^2 L _ 8^( ) (m _ K^(ó  ))^2 - 32 π^2 λ (m _ K^(ó  ))^2 - log((m _ K^(ó  ))^2/μ^2) (m _ K^(ó  ))^2 - 3 (32 π^2 λ + log((m _ η^(ó  ))^2/μ^2)) (m _ η^(ó  ))^2 - 384 π^2 L _ 4^( ) ((m _ π^(ó  ))^2 + 2 (m _ K^(ó  ))^2)) !, _ 0^( ))

z = (ff4/ff2 /. gellmannOkubo // Renormalize // FullSimplify) /. toEtaRules

1/(96 π^2 (f _ ϕ^(ó  ))^2) (96 π^2 (f _ ϕ^(ó  ))^2 + (128 π^2 (-3 L _ 4^(r ) + L _ 5^(r ) + 12 L _ 6^(r ) - 4 L _ 8^(r )) - 3 log((m _ π^(ó  ))^2/μ^2) + log((m _ η^(ó  ))^2/μ^2)) (m _ π^(ó  ))^2 - (256 π^2 (3 L _ 4^(r ) + 2 (L _ 5^(r ) - 6 L _ 6^(r ) - 4 L _ 8^(r ))) + log((m _ K^(ó  ))^2/μ^2) + 4 log((m _ η^(ó  ))^2/μ^2)) (m _ K^(ó  ))^2)

CheckF[z, "ChPT3P00P110o2.Fac"] ;

Using file name D:\\Program Files\\Wolfram Research\\Mathematica\\4.1\\AddOns\\Applications\\HighEnergyPhysics\\Phi\\Factors\\ChPT3P00P110o2.Fac

File does not exist, evaluating

Saving

Converted by Mathematica  (July 10, 2003)