####
DiracSimplify

#####
Description

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.

#####
Examples

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.

Converted from the *Mathematica* notebook DiracSimplify.nb