Chisholm

Description

Chisholm[x] substitutes products of three Dirac matrices or slashes by the Chisholm identity.

See also:  EpsChisholm.

Examples

Chisholm[GA[α, β, μ, ν]]

t1 = DiracMatrix[μ, ν, ρ]

t2  = Chisholm[t1]

The $MU$ variables are unique indices.

Calc[t1 . t1]

t3  = Chisholm[t1]

Calc[t2 . t3]

t4 = DiracSlash[a, b, c]

Chisholm[t4]

a1 = GA[μ, ν, ρ, σ, τ, κ]

a2  = Chisholm[a1]

a3  = Chisholm[a1]

Check that both a1.a1 and a2.a3 give the same.

Calc[a1 . a1]

Calc[a2 . a3]

Clear[t1, t2, t3, t4, a1, a2, a3]