DiracSimplify[expr] simplifies products of Dirac matrices in expr and expands non-commutative products. Double Lorentz indices and four vectors are contracted. The Dirac equation is applied. All DiracMatrix[5], DiracMatrix[6] and DiracMatrix[7] are moved to the right. The order of the other Dirac matrices is not changed.
See also: Calc, DiracGammaExpand, DiracTrick.
This is a string of Dirac matrices in four dimensions.
This is a string of Dirac matrices in D dimensions.
By default is moved to the right.
Contrary to DiracTrick DiracSimplify does non-commutative expansion.
With the option DiracCanonical an alphabetic ordering is done.
Setting InsideDiracTrace->True assumes that a trace is still to be taken later on.
The FeynCalc Book | DiracSigmaExplicit | DiracSimplify2 |