•Preliminaries

Cosmetics:

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

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

Keep things compact:

DeclareUScalar[UTrace1] ;

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

SetOptions[SUNReduce, FullReduce -> True] ;

SetOptions[UReduce, FullReduce -> True] ;

IsoDot[IsoVector[QuantumField[Particle[lr : (LeftComponent[0] | RightComponent[0])], r___]][x_], IsoVector[UMatrix[UGenerator[]]]] := QuantumField[Particle[lr], r][x]

$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[Pion, 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[Pion, 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)