John van de Wetering

In Proof mode you can't currently convert an H-edge back into an H-box. The drag-and-drop rewrites don't know about H-bialgebra, and you can't push a X(alpha) spider through an H-box...

I see there's a bunch of places in the code where an event is captured but not used (for instance because the right mouse button is not used). If I...

Easy way to add parts of quantum circuits

1

I think we should have an easy way to import a quantum circuit into ZXLive. For instance, right now if I want to make a cnot I have to laboriously...

Positioning after applying custom rule still isn't very nice sometimes

1

I made the following custom rewrite rule:  When I apply this in a diagram, it puts everything almost on top of each other:  I'm not sure what the...

Easy copy-pasting between ZXLive and Tikzit

2

Currently when you ctrl+C a piece of diagram, it is stored internally and not on the clipboard. This means it is not possible to copy-paste in between zxlive and tikzit....

Currently when you try to import some tikz into zxlive and you get an error like "invalid phase label" there is no way to continue. I propose adding an option...

It should of course read "Add identity"

Exception when moving around vertex in proof mode

1

Start with following graph:  Apply 'decompose hadamard' and then fuse the left Z-spider to get:  Now move one of the X-spiders. A disembodied pi/2 phase will appear and...