Aleks Kissinger
Aleks Kissinger
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...
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...
Two proposed changes to the API. (We can keep the old methods as aliases, but deprecate them if you like.) 1. I've recently overloaded `*` to compose diagrams in fomula-order....
To reproduce, make a spider rule with variables "a" and "b", and match on graph with angles "a" and "0". At least one of the rewrites should be wrong.
Seen in Windows 7. Changing the name of an open .qderive file makes quanto freeze.
To reproduce, make a spider rule where each node is connected to 2 !-boxes and the two nodes are connected by a wire in a !-box. Copy the LHS to...
To reproduce: draw some stuff with freehand, select it, try to delete it. Doesn't delete and parts of the interface lock up.
Rewrite a graph where the LHS has no boundaries. The new RHS with get laid out very far off the screen.
This behaviour has confused me on multiple occasions. I think better would be to: 1. refuse to export if there are no non-trivial proof heads 2. if there is a...