•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] ;

IsoVector[QuantumField[Particle[LeftComponent[0] | RightComponent[0]], LorentzIndex[_]]][_] := 0 ;

QuantumField[Particle[lr : (LeftComponent[0] | RightComponent[0])], r___, SUNIndex[0]][x_] := QuantumField[Particle[lr], r][x] ;

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

CQLeft | CQRight | GLeft | GRight | H _ L | H _ R | ÷„ | öÆ | χ | χ _ - | χ _ + | UFMinus | UFPlus | UGamma | Q | USmall | L | R

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)