This is an old revision of the document!
SpinorsSimplify
simplifies products of $\gamma$-matrices and Dirac spinors using Dirac equationSpinorsSimplify
works in $D = 4$; for arbitrary $D$ one can use option DiracTrace[[Dimension: D]]
SpinorsSimplify[[Dimension: D, TraceOfOne: 4]]
SpinorsSimplify[[u :u, v: v, uBar: uBar, vBar: vBar]]
SpinorsSimplify
uses notation G_m
for $\gamma_m$ and G5
for $\gamma_5$. SpinorsSimplify[[Gamma: G, Gamma5: G5]]
specifies the notation for $\gamma_m$ and $\gamma_5$.SpinorsSimplify[[Simplifications: rules]]
will apply additional simplification rules
to each processed expression