PauliReduce
PauliReduce
is an option for PauliTrick
and other functions. It specifies whether a chain of Pauli matrices should be reduced to at most one matrix by rewriting every pair of matrices in terms of commutator and anticommutator.
See also
Overview, PauliTrick, PauliSimplify.
Examples
CSI[i, j, k]
PauliSimplify[%]
σi.σj.σk
σi.σj.σk
CSI[i, j, k]
PauliSimplify[%, PauliReduce -> True]
σi.σj.σk
σiδˉjk−σjδˉik+σkδˉij+iϵˉijk