Hector Miller-Bakewell issues

Results 20 issues of


                                            Hector Miller-Bakewell

Implement and test multiplication in parser

rewriting

feature

Allow complicated edge data

The Hadamard "node" (in normal ZX) is actually used as an edge decoration. We should allow users to be able to specidy what edge decorations are, what their phase group...

"scala" folder should be the root of the repo

Old ML code is still in the repo

Program title and icon not displaying on Windows

bug

Difference in edge types is ignored by the matcher in limited circumstances

I think this is in particular matching bare wires. I'll write a test in a moment to show what I mean, and here is a project that demonstrates it: [doubling.zip](https://github.com/Quantomatic/quantomatic/files/2251178/doubling.zip)...

rewriting

bug

Approximate rewriting

Feature request from ZXFest

Interpretation of the diagram

Feature request from ZXFest Needs some way to specify which interpretation to use.

More general reasoning than g -> g1 -> g2 -> ... -> h

e.g. being able to specify g and h then work inwards e.g. being able to give g and h and ask if Quanto can easily get from one to another...

rewriting

feature