AntiCommutator[x, y] = c
defines the anti-commutator of the non commuting objects x
and y
.
Overview, Commutator, CommutatorExplicit, DeclareNonCommutative, DotSimplify.
This declares a
and b
as noncommutative variables.
[a, b]
DeclareNonCommutative
[a, b]
AntiCommutator
[%] CommutatorExplicit
[AntiCommutator[a + b, a - 2 b ]] CommutatorExplicit
[AntiCommutator[a + b, a - 2 b ]] DotSimplify
[c, d, ct, dt] DeclareNonCommutative
Defining {c,d} = z
results in replacements of c.d
by z-d.c.
[c, d] = z
AntiCommutator
[ d . c . d ] DotSimplify
[dt, ct] = zt AntiCommutator
[dt . ct . dt] DotSimplify
[a, b, c, d, ct, dt]
UnDeclareNonCommutative
[] UnDeclareAllAntiCommutators