h2zixy Real square matrix -> Pauli tensor product decomposer written by Rocco Monteiro Nunes Pesce as a summer undergraduate project in 2021, and by Paul Stevenson. The project was sponsored by the UK funding council EPSRC