UnDeclareAllAntiCommutators[]
undeclares all user-defined anticommutators.
Overview, AntiCommutator, CommutatorExplicit, DeclareNonCommutative, DotSimplify.
[a, b, c, d]
DeclareNonCommutative
[a, b] = x1;
AntiCommutator
[c, d] = x2;
AntiCommutator
[a . b . c . d] DotSimplify
b.a.d.c-\text{x2} b.a-\text{x1} d.c+\text{x1} \;\text{x2}
[]
UnDeclareAllAntiCommutators
[a . b . c . d] DotSimplify
a.b.c.d