John van de Wetering
John van de Wetering
Yes, that's right, this only verifies equality up to global phase. It wouldn't be too hard to add support for testing exact equality here. Would that be useful for your...
Do you want to work with states or with unitaries? And do the normal forms have to be unique? It is possible to get a unique normal form for states...
The unique normal form for states will also give you a unique normal form for unitaries, by Choi-Jamiolkowski isomorphism (bending wires from being inputs to outputs and vice versa). However,...
It would probably be best to add these into their own file (something like wrules.py), just like how the H-box rules are in their own file.
That sounds like a good idea.
I'm a little against touching code that doesn't need to be touched, but not very strongly. If you want to put in the time to make it follow the convention,...
I don't know about the other contributors, but I wrote most of this code in Sublime, although I have now semi-switched to Visual Studio.
Compatibility with Quantomatic is not really necessary, as Quantomatic has been dead for a couple of years now. I was actually thinking whether it wouldn't make sense to make a...
Ordering of inputs/outputs was based on position, but that's changed now and it actually stores which number of input or output it was separately. As this changed broke backwards compatibility...
We often have quite sparse, but large diagrams, so an adjacency matrix would be quite expensive. We also have two different types of edges, so we need some logic to...