ChangeLog v0.4.0.0 2019/06/28 (2019/06/27) PS1 - fixed a compiler warning. (2019/06/27) PS1 - use type class synonym to fix compiler warnings about simplifiable class constraints. This changed the type class assumptions of some API functions. v0.3.0.5 2019/02/23 (2019/02/23) PS1 - updated package dependencies to work with Stack. (2019/02/22) PS1 - removed some unused LANGUAGE directives, disabled some compiler warnings. v0.3.0.4 2018/11/05 (2018/11/05) PS1 - fixed some optional compiler warnings. (2018/11/05) PS1 - cabal: moved superdoc to setup-depends. (2018/11/05) PS1 - disabled simplifiable-class-constraints compiler warning. v0.3.0.3 2016/07/27 (2016/07/27) PS1 - relaxed package dependencies to accommodate older versions of ghc and base. v0.3.0.2 2015/08/15 (2015/08/15) PS1 - relaxed dependencies. (2015/08/15) PS1 - added IncoherentInstances to Quantum.Synthesis.LaTeX. v0.3.0.1 2015/05/15 (2015/05/15) PS1 - added a missing source file v0.3 2015/05/15 (2015/05/15) NJR, PS1 - added a new --phase option for approximation up to a phase. (2015/05/15) NJR, PS1 - various bug fixes. v0.2.0.1 2014/10/08 (2014/10/07) PS1 - added Applicative and Functor instances to silence compiler warnings. (2014/10/06) PS1 - updated dependencies for compatibility with base 4.7 and random 1.1. (2014/09/05) PS1 - fixed a bug where the actual T-count was output instead of the lower bound. v0.2 2014/03/12 (2014/03/12) NJR, PS1 - Added the new gridsynth algorithm from N. J. Ross and P. Selinger, "Optimal ancilla-free Clifford+T approximation of z-rotations", arXiv:1403.2975. Added a module GridProblem for solving one- and two-dimensional grid equations, and a module Diophantine for solving a Diophantine equation. Removed the now obsolete Newsynth algorithm, and replaced it by a backward compatibile interface to the new algorithm. New modules GridSynth, QuadraticEquation, and StepComp. Additions and minor improvements to EuclideanDomain, LaTeX, Matrix, and Ring. New executable gridsynth. v0.1.1.0 2014/02/05 (2014/02/04) PS1 - new functions euclid_divides and euclid_associates. (2014/02/04) PS1 - changed 'lobit' and improved its asymptotic efficiency. (2014/02/04) PS1 - fixed a bug in the ShowLaTeX instance of Rational. (2014/02/04) PS1 - added profiling options. (2014/02/03) PS1 - eliminated common subexpressions in gridpoints. (2014/02/03) PS1 - made fromDyadic an operation of the HalfRing class, and improved its efficiency. v0.1.0.0 2013/12/14 (2013/12/13) PS1 - added new rings DComplex and QComplex. Improvements to the ring QOmega. (2013/12/13) PS1 - more uniform naming of rings. Old names DInteger, DReal, EReal, DComplex, EComplex have become ZRootTwo, DRootTwo, QRootTwo, DRComplex, and QRComplex, respectively. (2013/12/13) PS1 - adjusted output syntax to remove Unicode and make output parseable. (2013/12/13) PS1 - refactored as a Cabal package. (2013/12/11) PS1 - removed erroneous Adjoint2 instances for Double and Float. (2013/12/11) PS1 - removed dependency on numbers package, removed Random instance for FixedPrec (this is now in fixedprec package). (2013/12/11) PS1 - added EmptyDataDecls pragma, to keep GHC happy. (2013/12/10) PS1 - removed some unnecessary type class dependencies. (2013/09/25) PS1 - added "alternate" version of multi-qubit synthesis algorithm, using only generators of determinant 1 if possible. (2013/09/25) PS1 - renamed some constructors and deconstructors for matrices. Release 2013/09/02 Released as part of Quipper 0.5. (2013/07/08) PS1 - moved definitions of U2 and SO3 to Matrix.hs. (2013/07/05) PS1 - added RotationDecomposition module. Release 2013/06/19 Initial public release, as part of Quipper 0.4.