## Changelog for newsynth-0.4.0.0

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.