@hackage newsynth0.1.0.0

A library of algorithms for exact and approximate synthesis of quantum circuits over the Clifford+T gate set. This includes, among other things:

• Quantum.Synthesis.Newsynth: an efficient single-qubit approximate synthesis algorithm. From P. Selinger, "Efficient Clifford+T approximation of single-qubit operators", http://arxiv.org/abs/1212.6253.

• Quantum.Synthesis.MultiQubitSynthesis: multi-qubit exact synthesis algorithms. From B. Giles and P. Selinger, "Exact synthesis of multiqubit Clifford+T circuits", Physical Review A 87, 032332, 2013, http://arxiv.org/abs/1212.0506.

• Quantum.Synthesis.CliffordT: the computation of Matsumoto-Amano normal forms. From K. Matsumoto and K. Amano, "Representation of Quantum Circuits with Clifford and π/8 Gates", http://arxiv.org/abs/0806.3834.

• Quantum.Synthesis.RotationDecomposition: an algorithm for decomposing multi-qubit unitary operators into one- and two-level unitaries. See e.g. Section 4.5.1 of M. A. Nielsen and I. L. Chuang, "Quantum Computation and Quantum Information", Cambridge University Press, 2002.

This package also provides an easy-to-use command line tool for single-qubit approximate synthesis.