Given a generalised product of Dirac gamma matrices, rewrite it as a product with an explicit single gamma matrix. This is the inverse of the join_gamma algorithm. An example:
$$\displaystyle{}\text{Attached property GammaMatrix to }\Gamma\left(\#\right).$$
$$\displaystyle{}\Gamma^{m n p}$$
$$\displaystyle{}\Gamma^{m} \Gamma^{n p}-\Gamma^{p} \eta^{m n}+\Gamma^{n} \eta^{m p}$$