This is an old revision of the document!
DiracSimplify simplifies products of gamma matricesDiracSimplify works in $D = 4$; for arbitrary $D$ one can use option DiracSimplify[[Dimension: D]]DiracSimplify[[Dimension: D, TraceOfOne: 4]]DiracSimplify uses notation G_m for $\gamma_m$ and G5 for $\gamma_5$. DiracSimplify[G, G5] or DiracSimplify[[Gamma: G, Gamma5: G5]] specifies the notation for $\gamma_m$ and $\gamma_5$. DiracSimplify[[Simplifications: rules]] will apply additional simplification rules to each processed product of gammasCalculate trace of $\gamma$-matrices:
defineMatrices 'G_a', 'G5', Matrix1.matrix println DiracTrace >> 'Tr[G_a*G_b]'.t
> 4*g_ab