Representing Matrices Using Algebraic ZX-calculus Implements automatic ZX diagram synthesis using the work from arxiv:2110.06898.