Will Cashman
Will Cashman
Has this been resolved? I can't find any rewrite actions that don't have matchers
I can understand that requiring the phases to be a multiple of pi is a design decision. Though it It seems like we cannot implement phrases such as `(k +...
How can I fuse two phase gadgets? I've selected two below, but the "fuse phase gadgets" rewrite action is still disabled.
Ah okay, is this what you mean? This also isn't enabling the rewrite, so I'm probably missing something
Tried adding some vertices between the boundaries with no luck. I was wondering if we could use some DSL for graphs that would allow us more easily create matchers, as...
Hey @RazinShaikh , could you explain a little more about what this feature should achieve?
> I guess ZXLive is pre-release or beta software so there's no guarantee that file formats won't change, but it would still be good if the changes are better documented...
> Isn't this just issue #207 (which was caused by PR #204)? I think PR #204 should be reverted. It's supposed to fix saving proofs with parametrized spiders, but it...
@Aerylia Could you provide a screenshot of the proof or a simplified example? Since the file you provided can't be loaded, I don't know how to replicate the bug.
> Additionally, I was unable to add parameterized gates to my diagrams because they were not a fraction of pi. We currently don't support this. Our logic for parameterised gates...