DotSimplify

Description

DotSimplify[expr] expands and reorders noncommutative terms in expr. Simplifying relations may be specified by the option DotSimplifyRelations or by Commutator and AntiCommutator definitions. Whether expr is expanded noncommutatively depends on the option Expanding.

Options[DotSimplify]

See also:  AntiCommutator, Commutator, Calc.

Examples

t1 = GA[μ] . (2 GS[p] - GS[q]) . GA[ν]

DotSimplify[t1]

DeclareNonCommutative[a, b, c]

t2 = a . (b - z c) . a

DotSimplify[t2]

Commutator[a, c] = 1

DotSimplify[t2]

Commutator[a, c] =  .

DotSimplify[t2]

AntiCommutator[b, a] = c

DotSimplify[t2]

AntiCommutator[b, a] =  .

DotSimplify[t2, 
      DotSimplifyRelations -> {a . c -> 1/z}]

DeclareNonCommutative[x]

DotSimplify[x . x . x]

DotSimplify[x . x . x, DotPower -> False]

UnDeclareNonCommutative[a, b, c, x]