KSPiChecks.nb

•Text output

Lowest order contribution:

$finpoly /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finpoly

Logs:

$finLogs /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finLogs

's:

$finJBars /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finJBars

$finJBarsKLM /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finJBarsKLM

Strong counterterms:

$finCTsstrong /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finCTsstrong

Weak counterterms contributing also to K->2π:

$finCTsold /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finCTsold

Weak conterterms not contributing to K->2π:

$finCTs /. _RenormalizationState -> Sequence[] /. Pair[Momentum[p2], Momentum[p2]] -> p2^2 //. {_Pair -> Sequence[], _DecayConstant -> f, CouplingConstant[ChPTW3[2], 1] -> c2, CouplingConstant[ChPTW3[2], 2] -> c5, CouplingConstant[ChPTW3[4], i_] -> n[i], CouplingConstant[ChPT3[4], i_] -> L[i], MandelstamT -> t, MandelstamS -> s, MandelstamU -> u, ParticleMass[Pion] -> mPi, ParticleMass[Kaon] -> mK, ParticleMass[EtaMeson] -> mEta, LeutwylerJBar[a__, ___Rule] :> Jbar[a]} // InputForm$

finCTs

Converted by Mathematica (July 10, 2003)