John van de Wetering

Results 99 comments of 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.