FeynCalc manual (development version)

CommutatorExplicit

CommutatorExplicit[exp] substitutes any Commutator and AntiCommutator in exp by their definitions.

See also

Overview, Calc, DotSimplify.

Examples

DeclareNonCommutative[a, b, c, d]
Commutator[a, b] 
 
CommutatorExplicit[%]

[a,b][a,b]

a.bb.aa.b-b.a

AntiCommutator[a - c, b - d] 
 
CommutatorExplicit[%]

{ac,bd}\{a-c,\medspace b-d\}

(ac).(bd)+(bd).(ac)(a-c).(b-d)+(b-d).(a-c)

CommutatorExplicit[AntiCommutator[a - c, b - d]] // DotSimplify

a.b+b.aa.dd.ab.cc.b+c.d+d.ca.b+b.a-a.d-d.a-b.c-c.b+c.d+d.c

UnDeclareNonCommutative[a, b, c, d]