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