CommutatorExplicit[exp]
substitutes any Commutator
and AntiCommutator
in exp
by their definitions.
[a, b, c, d] DeclareNonCommutative
[a, b]
Commutator
[%] CommutatorExplicit
[a,b]
a.b-b.a
[a - c, b - d]
AntiCommutator
[%] CommutatorExplicit
\{a-c,\medspace b-d\}
(a-c).(b-d)+(b-d).(a-c)
[AntiCommutator[a - c, b - d]] // DotSimplify CommutatorExplicit
a.b+b.a-a.d-d.a-b.c-c.b+c.d+d.c
[a, b, c, d] UnDeclareNonCommutative