PauliTrick
PauliTrick[exp]
contracts σ matrices with each other and performs several simplifications (no expansion, use PauliSimplify
for this).
See also
Overview, PauliSigma, PauliSimplify.
Examples
CSIS[p1] . CSI[i] . CSIS[p2]
PauliTrick[%] // Contract
(σ⋅p1).σi.(σ⋅p2)
(σ⋅p1).σi.(σ⋅p2)
CSID[i, j, i]
PauliTrick[%] // Contract
σi.σj.σi
−((D−3)σj)
CSIS[p] . CSI[j] . CSIS[p] . CSIS[i]
PauliTrick[%] // Contract // EpsEvaluate // FCCanonicalizeDummyIndices
PauliTrick[%%, PauliReduce -> False]
(σ⋅p).σj.(σ⋅p).(σ⋅i)
2pj(σ⋅p).(σ⋅i)−p2σj.(σ⋅i)
2pj(σ⋅p).(σ⋅i)−p2σj.(σ⋅i)