Hector Miller-Bakewell

Does the following derivation (up to scalar) help you? It works with an number of parallel edges, not just two.     ...

Could you possibly upload an example rule and graph? I can't reproduce it from your description.

# Proposal for introducing gates: We could view a gate as an ordered collection of wire vertices. Four lists of wire vertices, starting in the top left and proceeding clockwise....

Adding constraints to connections doesn't feel like Quantomatic's job: Starting with a valid graph and applying valid rules gives you valid graphs. If the user ends up with something connected...

In the GUI: There is now the ability to extract the selected vertices from a graph (complete with trailing edges); from there one could apply the simproc to make a...

Sadly listening to mouse events on the current TabbedPane implementation blocks the event, and so prevents native behaviour.

We could implement a "notes" node, one that the matcher always ignores, or could implement something like a bang-box that can be connected to however many nodes (which seems like...

It's a good idea. The only misgiving I have is that I think it would be best stored at the project level (same as what theory you're using,) because it's...

[bug222.zip](https://github.com/Quantomatic/quantomatic/files/2227040/bug222.zip) (ZX diagrams) I get different behaviour for the two graphs. In 3-edges.qgraph I don't see any directions appearing in the matches at all. In 2-edges.qgraph I do get directions...

Succesfully reproduced. Found 32 matches of the rule, none of which leave you with a self-loop. I believe the attached file does what you are looking for. [loopRemoval.zip](https://github.com/Quantomatic/quantomatic/files/2047990/loopRemoval.zip)