*FORM by J.Vermaseren,version 3.1(Oct 17 2002) Run at: Sun Mar 6 15:13:16 2005 * * This FORM code processes the result produced by the (PQint) code: * * Simplifications and sums over sea and valence quark indices are * * implemented. Includes the possiblilty of producing output intended for * * fortran functions and LaTeX. * * ************************************************************************** * * comp 1 : Simplification of the pseudoscalar meson mass to NNLO * * comp 2 : Simplification of the pseudoscalar meson decay constant to NNLO * * #define comp "2" * #define nfl "2" * * * The parameters (mode) and (type) select the values of (dval) and (dsea), * * according to the tables below: * * * nfl = 2: * * dval + dsea Mode Type * ***************************** * * 1 + 1 1 1 * * 1 + 2 2 1 * * 2 + 1 4 1 * * 2 + 2 5 1 * * * nfl = 3: * * dval + dsea Mode Type * ***************************** * * 1 + 1 2 1 * * 1 + 2 4 1 * * 1 + 3 5 1 * * 2 + 1 2 2 * * 2 + 2 4 2 * * 2 + 3 5 2 * * #define mode "2" * #define type "1" * * #define pout "0" * #define nsim "0" * * #- * Sigma2 loaded * Sigma4 loaded * Sigma6 loaded * *Time = 0.08 sec Generated terms = 1 * F0p2 Terms in output = 1 * Bytes used = 24 * *Time = 0.08 sec Generated terms = 3 * F0p4 Terms in output = 3 * Bytes used = 96 * *Time = 0.08 sec Generated terms = 88 * F0p6 Terms in output = 88 * Bytes used = 3606 L F0p2timo12 = + F0 * ( + 1 ); L F0p4timo12 = + F0^-1*L4r * ( + 8*X34 ) + F0^-1*L5r * ( + 4*X11 ) + Ab(X1s)*F0^-1 * ( + 1/2 ); L F0p6timo12 = + F0^-3*pi16*L0r * ( - 4*Xp0*X11 - 3*Xp0^2 + 2*X11^2 + 2*X33*X44 ) + F0^-3*pi16*L1r * ( - 2*X11^2 ) + F0^-3*pi16*L2r * ( - 3*Xp0^2 - X11^2 ) + F0^-3*pi16*L3r * ( - 3*Xp0*X11 - 2*Xp0^2 + 5/2*X11^2 + 3/2*X33*X44 ) + F0^-3*pi16^2 * ( - 23/96*Xp0*X11 - 1/3*Xp0^2 + 1/64*X11^2 + 17/192*X33*X44 ) + F0^-3*L4r*L5r * ( - 32*X11*X34 ) + F0^-3*L4r^2 * ( - 32*X34^2 ) + F0^-3*L5r^2 * ( - 8*X11^2 ) + F0^-3*L11r^2 * ( + 8*X11^2 ) + F0^-3*K19r * ( + 8*X11^2 ) + F0^-3*K20r * ( + 16*X11*X34 ) + F0^-3*K21r * ( + 8*Xss^2 ) + F0^-3*K22r * ( + 32*X34^2 ) + F0^-3*K23r * ( + 8*X11^2 ) + Ab(Xp0)*F0^-3*L0r * ( + 6*R(Xp0,X11,X11)*Xp0 ) + Ab(Xp0)*F0^-3*L1r * ( - 8*Xp0 ) + Ab(Xp0)*F0^-3*L2r * ( - 2*Xp0 ) + Ab(Xp0)*F0^-3*L3r * ( + 6*R(Xp0,X11,X11)*Xp0 ) + Ab(Xp0)*F0^-3*L4r * ( + 4*Xp0 ) + Ab(Xp0)*F0^-3*L5r * ( - 2*R(Xp0,X11,X11)*X11 ) + Ab(Xp0)*Bb(X1s,X1s,0)*F0^-3 * ( - 1/4*R(Xp0,X11,Xss)*X1s ) + Ab(Xp0,eps)*F0^-3*pi16 * ( + 1/8*RC(X11)*Xp0 ) + Ab(X11)*F0^-3*L0r * ( + 6*RC(X11)*X11 + 6*RD(X11) ) + Ab(X11)*F0^-3*L1r * ( - 4*X11 ) + Ab(X11)*F0^-3*L2r * ( - 10*X11 ) + Ab(X11)*F0^-3*L3r * ( + 6*RC(X11)*X11 + 6*RD(X11) ) + Ab(X11)*F0^-3*L5r * ( - 2*RC(X11)*X11 ) + Ab(X11)*Bb(X1s,X1s,0)*F0^-3 * ( - 1/4*R(X11,Xss,Xp0)*X1s ) + Ab(X11,eps)*F0^-3*pi16 * ( + 1/8*R(X11,Xp0,Xp0)*X34 ) + Ab(X34)*F0^-3*L1r * ( - 16*X34 ) + Ab(X34)*F0^-3*L2r * ( - 4*X34 ) + Ab(X34)*F0^-3*L4r * ( + 8*X34 ) + Ab(X34,eps)*F0^-3*pi16 * ( + 1/4*X34 ) + Ab(X1s)*F0^-3*pi16 * ( - 1/4*X34 - 1/6*X1s ) + Ab(X1s)*F0^-3*L0r * ( - 4*X1s ) + Ab(X1s)*F0^-3*L3r * ( - 10*X1s ) + Ab(X1s)*F0^-3*L4r * ( - 4*X34 ) + Ab(X1s)*F0^-3*L5r * ( + 2*X11 ) + Ab(X1s,eps)*F0^-3*pi16 * ( + 1/4*X34 + 1/4*Xss ) + Bb(X11,X11,0)*F0^-3*L0r * ( + 6*RD(X11)*X11 ) + Bb(X11,X11,0)*F0^-3*L3r * ( + 6*RD(X11)*X11 ) + Bb(X11,X11,0)*F0^-3*L5r * ( - 2*RD(X11)*X11 ) + Bb(X11,X11,0,eps)*F0^-3*pi16 * ( - 1/8*RD(X11)*X11 ) + Bb(X1s,X1s,0)*F0^-3*L4r * ( - 8*X34*X1s ) + Bb(X1s,X1s,0)*F0^-3*L5r * ( - 4*X1s^2 ) + Bb(X1s,X1s,0)*F0^-3*L6r * ( + 16*X34*X1s ) + Bb(X1s,X1s,0)*F0^-3*L8r * ( + 8*X1s^2 ) + Hbb(1,Xp0,X1s,X1s,X11)*F0^-3 * ( + 1/16*RV(Xp0,X11,Xss)*Xp0 ) + Hbb(1,X11,X1s,X1s,X11)*F0^-3 * ( - 1/8*R(X11,Xss,Xp0)*X1s + 1/16*RC(X11)*X11 ) + Hbb(1,X13,X14,X34,X11)*F0^-3 * ( - 1/4*X34 ) + Hbb(2,X11,X1s,X1s,X11)*F0^-3 * ( + 1/16*RD(X11)*X11 ) + dHbb(1,Xp0,Xp0,X11,X11)*F0^-3 * ( + 1/4*R(Xp0,X11,X11)^2*X11^2 ) + dHbb(1,Xp0,X11,X11,X11)*F0^-3 * ( + 1/2*R(Xp0,X11,X11)*RC(X11)*X11^2 ) + dHbb(1,Xp0,X1s,X1s,X11)*F0^-3 * ( - 1/4*R(Xp0,X11,X11)*X11^2 - 1/16*RV(Xp0,X11,Xss)*Xp0*X11 ) + dHbb(1,X11,X11,X11,X11)*F0^-3 * ( + 1/6*X11^2 + 1/4*RC(X11)^2*X11^2 ) + dHbb(1,X11,X1s,X1s,X11)*F0^-3 * ( + 1/8*R(X11,Xss,Xp0)*X11*X1s - 1/2*R(X11,Xss,Xp0)*X11^2 + 3/16*RC(X11)*X11^2 ) + dHbb(1,X13,X14,X34,X11)*F0^-3 * ( + 1/4*X11*X34 ) + dHbb(2,X11,Xp0,X11,X11)*F0^-3 * ( + 1/2*R(Xp0,X11,X11)*RD(X11)*X11^2 ) + dHbb(2,X11,X11,X11,X11)*F0^-3 * ( + 1/2*RC(X11)*RD(X11)*X11^2 ) + dHbb(2,X11,X1s,X1s,X11)*F0^-3 * ( + 3/16*RD(X11)*X11^2 ) + dHbb(5,X11,X11,X11,X11)*F0^-3 * ( + 1/4*RD(X11)^2*X11^2 ) + dH1bb(1,Xp0,X1s,X1s,X11)*F0^-3 * ( - 1/2*R(Xp0,X11,Xss)*RS(X11,Xss,Xp0)*X11^2 ) + dH1bb(1,X1s,X1s,X11,X11)*F0^-3 * ( - R(Xp0,X11,Xss)*RS(X11,Xss,Xp0)*X11^2 ) + dH1bb(3,X1s,X11,X1s,X11)*F0^-3 * ( - RD(X11)*X11^2 ) + dH21bb(1,Xp0,X1s,X1s,X11)*F0^-3 * ( - 3/16*RV(Xp0,X11,Xss)*X11^2 ) + dH21bb(1,X11,X1s,X1s,X11)*F0^-3 * ( + 3/8*R(X11,Xss,Xp0)*X11^2 - 3/16*RC(X11)*X11^2 ) + dH21bb(1,X34,X13,X14,X11)*F0^-3 * ( + 3/4*X11^2 ) + dH21bb(2,X11,X1s,X1s,X11)*F0^-3 * ( - 3/16*RD(X11)*X11^2 );