•Preliminaries

Cosmetics:

DecayConstant /: MakeBoxes[DecayConstant[x_], TraditionalForm] := MakeBoxes[StyleForm["f", FontSlant -> "Italic"]] ;

VariableBoxes["k"] ; VariableBoxes["τ"] ; VariableBoxes["ρ"] ;

Keep things compact:

lrRule = IsoDot[IsoVector[QuantumField[Particle[(lr : (LeftComponent | RightComponent))[0]], LorentzIndex[μ_]]][x_], IsoVector[UMatrix[UGenerator[___]]]] -> QuantumField[Particle[lr[0]], LorentzIndex[μ]][x]

Overscript[(lr : (L | R))[0]^( ) _ μ_, ->] · Overscript[σ^___, ->] -> (lr (0)) _ μ

SetOptions[#, Explicit -> False] & /@ {MM, SMM, UChi, FieldStrengthTensorFull, CovariantFieldDerivative, LeftComponent, RightComponent} ;

SetOptions[SUNReduce, FullReduce -> True] ;

SetOptions[UReduce, FullReduce -> True] ;

$UMatrices = Union[$UMatrices, {LeftComponent[0], RightComponent[0]}] ;

xi[x_] := IsoDot[IsoVector[QuantumField[Particle[PseudoScalar[12]]]][x], IsoVector[UMatrix[UGenerator[]]]] ;

uExpRight[x_, a___RenormalizationState, b___RenormalizationScheme, c___ExpansionState, opts___Rule] := NM[SMM[x, Sequence @@ OptionsSelect[SMM, opts]], UFieldMatrix[DecayConstant[UPerturbation, a, b, c]/DecayConstant[PhiMeson, a, b, c]/Sqrt[2], QuantumField[Particle[UPerturbation, a, b, c]][x], Sequence @@ OptionsSelect[UFieldMatrix, opts]]] ;

uExpLeftAdj[x_, a___RenormalizationState, b___RenormalizationScheme, c___ExpansionState, opts___Rule] := NM[UFieldMatrix[DecayConstant[UPerturbation, a, b, c]/DecayConstant[PhiMeson, a, b, c]/Sqrt[2], QuantumField[Particle[UPerturbation, a, b, c]][x], Sequence @@ OptionsSelect[UFieldMatrix, opts]], SMM[x, Sequence @@ OptionsSelect[SMM, opts]]] ;

Converted by Mathematica  (July 10, 2003)