pyzx
pyzx copied to clipboard
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
As stated in _Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus_, a Clifford circuit can always be transformed in a graph-like diagram corresponding with a sub-diagram occurring in the middle...
This issue has to do with integrating (better) with [quizx](https://github.com/Quantomatic/quizx), the Rust port of pyzx. There are already some python bindings, available [here](https://github.com/Quantomatic/quizx/tree/master/pybindings), but they only cover some of the...
Over the years, several additional features have been merged into PyZX that have never had documentation written for them. These include: * #293 * #294 * #295
Implement the graphical Fourier transform, and its inverse. This would allow converting back and forth between ZX and ZH diagrams. See the paper: [Graphical Fourier Theory and the Cost of...
Hi, thanks for the useful tool for implementing ZX-calculus. I'm wondering if it is possible to enter all formats of qasm files, since I found out that some gates like...
NumPy 1.20 added type annotations, which broke mypy. I've added dummy `type: ignore`s in the relevant places, but at some point appropriate types for numpy have to be added.
Hello PyZX people! Just dropping by to let you know I've just added a back-and-forth interface between [DisCoPy](https://github.com/oxford-quantum-group/discopy) and PyZX. Also, I've started using [nbsphinx](https://nbsphinx.readthedocs.io/) for including jupyter notebooks into...
I get the following error: ValueError: Parallel edges between H-boxes are not supported when trying to ZH simplify (' zx.hsimplify.hpivot_simp(spin, quiet=False) ') the following diagram encoded in JSON below: spinjson...
I found my self needing to convert circuits that were generated within the quipper framework, to the qasm format. The problem is that in those circuits, gates with no controls...
As noted in #44, the qasm parser currently doesn't understand the `ry` gate. By looking at the definition of this gate in the Qiskit source, it should be relatively straightforward...