<commit_before>homepage: http://www.mathstat.dal.ca/~selinger/newsynth/
changelog-type: text
hash: e7e870c481c5968b48acc2143095da919f870ca0c86e498fd5027fbd13fe33ae
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Exact and approximate synthesis of quantum circuits
changelog: "ChangeLog\n\nv0.3.0.5 2019/02/23\n\t(2019/02/23) PS1 - updated package
  dependencies to work with Stack.\n\t(2019/02/22) PS1 - removed some unused LANGUAGE
  directives,\n\tdisabled some compiler warnings.\n\nv0.3.0.4 2018/11/05\n\t(2018/11/05)
  PS1 - fixed some optional compiler warnings.\n\t(2018/11/05) PS1 - cabal: moved
  superdoc to setup-depends.\n\t(2018/11/05) PS1 - disabled simplifiable-class-constraints\n\tcompiler
  warning.\n\nv0.3.0.3 2016/07/27\n\t(2016/07/27) PS1 - relaxed package dependencies
  to accommodate\n\tolder versions of ghc and base.\n\nv0.3.0.2 2015/08/15\n\t(2015/08/15)
  PS1 - relaxed dependencies.\n\t(2015/08/15) PS1 - added IncoherentInstances to\n\tQuantum.Synthesis.LaTeX.\n\nv0.3.0.1
  2015/05/15\n\t(2015/05/15) PS1 - added a missing source file\n\nv0.3 2015/05/15\n\t(2015/05/15)
  NJR, PS1 - added a new --phase option for\n\tapproximation up to a phase.\n\t(2015/05/15)
  NJR, PS1 - various bug fixes.\n\nv0.2.0.1 2014/10/08\n\t(2014/10/07) PS1 - added
  Applicative and Functor instances to\n\tsilence compiler warnings.\n\t(2014/10/06)
  PS1 - updated dependencies for compatibility with\n\tbase 4.7 and random 1.1.\n\t(2014/09/05)
  PS1 - fixed a bug where the actual T-count was output\n\tinstead of the lower bound.\n\nv0.2
  2014/03/12\n\t(2014/03/12) NJR, PS1 - Added the new gridsynth algorithm from\n\tN.
  <NAME> and <NAME>, \"Optimal ancilla-free Clifford+T\n\tapproximation of z-rotations\",
  arXiv:1403.2975. Added a module\n\tGridProblem for solving one- and two-dimensional
  grid equations,\n\tand a module Diophantine for solving a Diophantine equation.\n\tRemoved
  the now obsolete Newsynth algorithm, and replaced it by a\n\tbackward compatibile
  interface to the new algorithm. New modules\n\tGridSynth, QuadraticEquation, and
  StepComp. Additions and minor\n\timprovements to EuclideanDomain, LaTeX, Matrix,
  and Ring. New\n\texecutable gridsynth.\n\nv0.1.1.0 2014/02/05\n\t(2014/02/04) PS1
  - new functions euclid_divides and euclid_associates.\n\t(2014/02/04) PS1 - changed
  'lobit' and improved its asymptotic\n\tefficiency.\n\t(2014/02/04) PS1 - fixed a
  bug in the ShowLaTeX instance of Rational.\n\t(2014/02/04) PS1 - added profiling
  options.\n\t(2014/02/03) PS1 - eliminated common subexpressions in gridpoints.\n\t(2014/02/03)
  PS1 - made fromDyadic an operation of the HalfRing\n\tclass, and improved its efficiency.\n\nv0.1.0.0
  2013/12/14\n\t(2013/12/13) PS1 - added new rings DComplex and QComplex.\n\tImprovements
  to the ring QOmega.\n\t(2013/12/13) PS1 - more uniform naming of rings. Old names\n\tDInteger,
  DReal, EReal, DComplex, EComplex have become ZRootTwo,\n\tDRootTwo, QRootTwo, DRComplex,
  and QRComplex, respectively.\n\t(2013/12/13) PS1 - adjusted output syntax to remove
  Unicode and\n\tmake output parseable.\n\t(2013/12/13) PS1 - refactored as a Cabal
  package.\n\t(2013/12/11) PS1 - removed erroneous Adjoint2 instances for Double\n\tand
  Float.\n\t(2013/12/11) PS1 - removed dependency on numbers package, removed\n\tRandom
  instance for FixedPrec (this is now in fixedprec package).\n\t(2013/12/11) PS1 -
  added EmptyDataDecls pragma, to keep GHC happy.\n\t(2013/12/10) PS1 - removed some
  unnecessary type class\n\tdependencies.\n\t(2013/09/25) PS1 - added \"alternate\"
  version of multi-qubit\n\tsynthesis algorithm, using only generators of determinant
  1 if\n\tpossible.\n\t(2013/09/25) PS1 - renamed some constructors and deconstructors\n\tfor
  matrices.\n\nRelease 2013/09/02\n\tReleased as part of Quipper 0.5.\n\t(2013/07/08)
  PS1 - moved definitions of U2 and SO3 to Matrix.hs.\n\t(2013/07/05) PS1 - added
  RotationDecomposition module.\n\nRelease 2013/06/19\n\tInitial public release, as
  part of Quipper 0.4.\n"
basic-deps:
  fixedprec: ! '>=0.2.2'
  base: ! '>=4.5 && <5'
  time: ! '>=1.4'
  containers: ! '>=0.5'
  newsynth: -any
  random: ! '>=1.0'
all-versions:
- 0.1.0.0
- 0.1.1.0
- '0.2'
- 0.2.0.1
- '0.3'
- 0.3.0.1
- 0.3.0.2
- 0.3.0.3
- 0.3.0.4
- 0.3.0.5
author: <NAME>, <NAME>
latest: 0.3.0.5
description-type: haddock
description: |-
  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.GridSynth": an efficient single-qubit
  approximate synthesis algorithm. From <NAME> and <NAME>,
  \"Optimal ancilla-free Clifford+/T/ approximation of
  /z/-rotations\", <http://arxiv.org/abs/1403.2975>.

  * "Quantum.Synthesis.MultiQubitSynthesis": multi-qubit exact
  synthesis algorithms. From <NAME> and <NAME>, \"Exact
  synthesis of multiqubit Clifford+/T/ circuits\", Physical Review A
  87, 032332, 2013, <http://arxiv.org/abs/1212.0506>.<commit_msg>Update from Hackage at 2019-06-28T08:06:45Z<commit_after>homepage: http://www.mathstat.dal.ca/~selinger/newsynth/
changelog-type: text
hash: 71fcbac705625db573affe35d76977d7d8c89e9a6bc88c1d64a27d0cdd32471b
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Exact and approximate synthesis of quantum circuits
changelog: "ChangeLog\n\nv0.4.0.0 2019/06/28\n\t(2019/06/27) PS1 - fixed a compiler
  warning.\n\t(2019/06/27) PS1 - use type class synonym to fix compiler warnings\n\tabout
  simplifiable class constraints. This changed the type class\n\tassumptions of some
  API functions.\n\nv0.3.0.5 2019/02/23\n\t(2019/02/23) PS1 - updated package dependencies
  to work with Stack.\n\t(2019/02/22) PS1 - removed some unused LANGUAGE directives,\n\tdisabled
  some compiler warnings.\n\nv0.3.0.4 2018/11/05\n\t(2018/11/05) PS1 - fixed some
  optional compiler warnings.\n\t(2018/11/05) PS1 - cabal: moved superdoc to setup-depends.\n\t(2018/11/05)
  PS1 - disabled simplifiable-class-constraints\n\tcompiler warning.\n\nv0.3.0.3 2016/07/27\n\t(2016/07/27)
  PS1 - relaxed package dependencies to accommodate\n\tolder versions of ghc and base.\n\nv0.3.0.2
  2015/08/15\n\t(2015/08/15) PS1 - relaxed dependencies.\n\t(2015/08/15) PS1 - added
  IncoherentInstances to\n\tQuantum.Synthesis.LaTeX.\n\nv0.3.0.1 2015/05/15\n\t(2015/05/15)
  PS1 - added a missing source file\n\nv0.3 2015/05/15\n\t(2015/05/15) NJR, PS1 -
  added a new --phase option for\n\tapproximation up to a phase.\n\t(2015/05/15) NJR,
  PS1 - various bug fixes.\n\nv0.2.0.1 2014/10/08\n\t(2014/10/07) PS1 - added Applicative
  and Functor instances to\n\tsilence compiler warnings.\n\t(2014/10/06) PS1 - updated
  dependencies for compatibility with\n\tbase 4.7 and random 1.1.\n\t(2014/09/05)
  PS1 - fixed a bug where the actual T-count was output\n\tinstead of the lower bound.\n\nv0.2
  2014/03/12\n\t(2014/03/12) NJR, PS1 - Added the new gridsynth algorithm from\n\tN.
  <NAME> and <NAME>, \"Optimal ancilla-free Clifford+T\n\tapproximation of z-rotations\",
  arXiv:1403.2975. Added a module\n\tGridProblem for solving one- and two-dimensional
  grid equations,\n\tand a module Diophantine for solving a Diophantine equation.\n\tRemoved
  the now obsolete Newsynth algorithm, and replaced it by a\n\tbackward compatibile
  interface to the new algorithm. New modules\n\tGridSynth, QuadraticEquation, and
  StepComp. Additions and minor\n\timprovements to EuclideanDomain, LaTeX, Matrix,
  and Ring. New\n\texecutable gridsynth.\n\nv0.1.1.0 2014/02/05\n\t(2014/02/04) PS1
  - new functions euclid_divides and euclid_associates.\n\t(2014/02/04) PS1 - changed
  'lobit' and improved its asymptotic\n\tefficiency.\n\t(2014/02/04) PS1 - fixed a
  bug in the ShowLaTeX instance of Rational.\n\t(2014/02/04) PS1 - added profiling
  options.\n\t(2014/02/03) PS1 - eliminated common subexpressions in gridpoints.\n\t(2014/02/03)
  PS1 - made fromDyadic an operation of the HalfRing\n\tclass, and improved its efficiency.\n\nv0.1.0.0
  2013/12/14\n\t(2013/12/13) PS1 - added new rings DComplex and QComplex.\n\tImprovements
  to the ring QOmega.\n\t(2013/12/13) PS1 - more uniform naming of rings. Old names\n\tDInteger,
  DReal, EReal, DComplex, EComplex have become ZRootTwo,\n\tDRootTwo, QRootTwo, DRComplex,
  and QRComplex, respectively.\n\t(2013/12/13) PS1 - adjusted output syntax to remove
  Unicode and\n\tmake output parseable.\n\t(2013/12/13) PS1 - refactored as a Cabal
  package.\n\t(2013/12/11) PS1 - removed erroneous Adjoint2 instances for Double\n\tand
  Float.\n\t(2013/12/11) PS1 - removed dependency on numbers package, removed\n\tRandom
  instance for FixedPrec (this is now in fixedprec package).\n\t(2013/12/11) PS1 -
  added EmptyDataDecls pragma, to keep GHC happy.\n\t(2013/12/10) PS1 - removed some
  unnecessary type class\n\tdependencies.\n\t(2013/09/25) PS1 - added \"alternate\"
  version of multi-qubit\n\tsynthesis algorithm, using only generators of determinant
  1 if\n\tpossible.\n\t(2013/09/25) PS1 - renamed some constructors and deconstructors\n\tfor
  matrices.\n\nRelease 2013/09/02\n\tReleased as part of Quipper 0.5.\n\t(2013/07/08)
  PS1 - moved definitions of U2 and SO3 to Matrix.hs.\n\t(2013/07/05) PS1 - added
  RotationDecomposition module.\n\nRelease 2013/06/19\n\tInitial public release, as
  part of Quipper 0.4.\n"
basic-deps:
  fixedprec: ! '>=0.2.2'
  base: ! '>=4.5 && <5'
  time: ! '>=1.4'
  containers: ! '>=0.5'
  newsynth: -any
  random: ! '>=1.0'
all-versions:
- 0.1.0.0
- 0.1.1.0
- '0.2'
- 0.2.0.1
- '0.3'
- 0.3.0.1
- 0.3.0.2
- 0.3.0.3
- 0.3.0.4
- 0.3.0.5
- 0.4.0.0
author: <NAME>, <NAME>
latest: 0.4.0.0
description-type: haddock
description: |-
  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.GridSynth": an efficient single-qubit
  approximate synthesis algorithm. From <NAME> and <NAME>,
  \"Optimal ancilla-free Clifford+/T/ approximation of
  /z/-rotations\", <http://arxiv.org/abs/1403.2975>.

  * "Quantum.Synthesis.MultiQubitSynthesis": multi-qubit exact
  synthesis algorithms. From <NAME> and <NAME>, \"Exact
  synthesis of multiqubit Clifford+/T/ circuits\", Physical Review A
  87, 032332, 2013, <http://arxiv.org/abs/1212.0506>.
{'fraction_non_alphanumeric': 0.1351614157915208, 'fraction_numerical': 0.11503306106573317, 'mean_word_length': 3.483435047951177, 'pattern_counts': {'":': 4, '<': 27, '<?xml version=': 0, '>': 35, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 36, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2728064', 'n_tokens_mistral': 4649, 'n_tokens_neox': 3907, 'n_words': 983}