This package provides an easytouse executable program
gridsynth that computes approximations of arbitrary
zrotations over the Clifford+T gate set, up to
arbitrary ϵ. It achieves
Tcounts that are within O(log(log(1/ϵ))) of optimal. In the
typical case, this means Tcounts of
The algorithm is described in:
This package also provides a library of various algorithms for exact and approximate synthesis of quantum circuits over the Clifford+T gate set, written in Haskell. 
The purpose of the gridsynth program is to approximate a
zrotation $ gridsynth pi/128 SHTHTHTHTHTHTHTSHTHTHTHTSHTHTHTHTHTSHTSHTHTHTHTHTSHTHTHTSHTSHTHTSHTSHTSHTHTHTHTS HTHTHTHTHTSHTSHTHTSHTHTSHTSHTSHTSHTHTSHTSHTSHTSHTHTHTSHTSHTSHTHTHTHTSHTHTSHTHTHT SHTHTHTHTSHTHTSHTHTSHTSHTSHTHTHTHTHTHTHTSHTHTSHTHTHTSHTSHTHTHTSHTSHTSHTHTSHTHTHT HTSHTSHTSHSSSWWWWWWWHere, "T", "S", "H", and "X" denote the usual quantum gates of the same names, and "W" denotes the scalar
The default value for the precision is 10 decimal digits,
i.e., $ gridsynth pi/1024 d 100You can see the output here. Here is the full list of command line options: Usage: gridsynth [OPTION...] 
The synthesis library includes implementations of a number of
algorithms for approximate and exact synthesis over the
Clifford+T gate set, but for singlequbit and multiqubit
quantum circuits. Currently, the following algorithms are provided:

The library is fully documented; please see the browseable online documentation. 

There are several options for downloading and installing the
newsynth package.

For bug reports or support requests, please email me at selinger@mathstat.dal.ca. 
0.2.0.1 
Peter Selinger Neil J. Ross 
Copyright (c) 20122014 Peter Selinger and Neil J. Ross.
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/. 
To Peter Selinger's other Software.
Back to Peter Selinger's Homepage: