DiracReduce

Description

DiracReduce[exp] reduces all four-dimensional Dirac matrices in exp to the standard basis (S,P,V,A,T) using the Chisholm identity (see Chisholm). In the result the basic Dirac structures are wrapped with a head DiracBasis. I.e., S corresponds to DiracBasis[1], P : DiracBasis[DiracMatrix[5]], V: DiracBasis[DiracMatrix[mu]], A: DiracBasis[DiracMatrix[mu, 5]], T: DiracBasis[DiracSigma[DiracMatrix[mu, nu]]]. By default DiracBasis is substituted to Identity. Notice that the result of DiracReduce is given in the FeynCalcExternal - way, i.e.,evtl. you may have to use FeynCalcInternal on the result.

Options[DiracReduce]

See also:  DiracSimplify.

Examples

t1  =  GA[μ, ν]

DiracReduce[t1]

t2 = DiracMatrix[μ, ν, ρ]

DiracReduce[t2]

t3 = DiracMatrix[μ, ν, ρ, σ]

t4 = DiracReduce[t3]

t5  = Calc[DiracSimplify[DiracSigmaExplicit[t4 . t4]]]

Calc[t4 . t4]

Clear[t1, t2, t3, t4]