John van de Wetering
John van de Wetering
We already have a back-end of PyZX where we can write arbitrary Python code to implement rewrites. There's already quite a lot of arbitrary-arity rewrites in there that can be...
But just to give a suggestion of a restricted pattern that might still cover many use-cases: have certain standard patterns that a user can define on certain generators. We had...
Hmm, that is not a standard bialgebra, so that is not covered by what I was proposing I think. That rule is also quite complicated in that it has 2...
Many things here fixed by PR #37
Rectangular selection is now supported, but shift-clicking is not. The Qt default is control-clicking. It is probably not too difficult to also allow shift-clicking. I'm not sure what exactly you...
So I know that @akissinger has an opinion on this, and I think I agree with him: if we go the interpolation route, it is much harder to exactly get...
A potential third option would be that when you ctrl-c, it saves it both as an internal copy and to the clipboard so that you can still export things to...
In the commit 2267ba9 I implemented it such that copying to clipboard is Ctrl+Shift+C while pasting from the clipboard is Ctrl+Shift+V. We might decide that eventually we only want to...
I agree. But also, when we put rules into different tabs/categories, you could only run the matcher for the rewrites in the currently selected tab.