•Preliminaries

Cosmetics:

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

Keep things compact:

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]

UTrace1[FieldStrengthTensorFull[LorentzIndex[μ1_], QuantumField[Particle[LeftComponent[0] | RightComponent[0]], LorentzIndex[μ2_]][x_], x_, ___]] := 0 ;

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

Converted by Mathematica  (July 10, 2003)