![]()
The evaluated leading order Lagrangian:
![]()
![]()
Redundant terms are discarded:
![lll = DiscardTerms[ll, Retain -> {Particle[PhiMeson , RenormalizationState[0]] -> 1, Particle[AxialVector[0] , RenormalizationState[0]] -> 1, Particle[Scalar[1], RenormalizationState[0]] -> 1}, CommutatorReduce -> True, Method -> Expand] // Simplify](../HTMLFiles/index_46.gif)
![-(c _ 2^( ) (< σ^6 '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] > + < σ^6 '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] >) s^( ))/f _ ϕ^(ó )](../HTMLFiles/index_47.gif)
Generator matrices are traced:
![]()
Indices are supplied:
![]()
![]()
Calculation of the Feynman rule:
![fields = {QuantumField[Particle[AxialVector[0], RenormalizationState[0]], LorentzIndex[μ1], SUNIndex[I1]][p1], QuantumField[Particle[PhiMeson, RenormalizationState[0]], SUNIndex[I2]][p2], QuantumField[Particle[Scalar[1], RenormalizationState[0]]][p3]}](../HTMLFiles/index_51.gif)
![]()
![]()
![]()
Another check that two different evaluations with specific components give the same result:
![]()
![]()
![]()
![]()
Converted by Mathematica (July 10, 2003)