Razin Shaikh

Results 73 issues of Razin Shaikh

It should be called with `graph.save(file_name, format)`

Moved from https://github.com/Quantomatic/zxlive/issues/60

enhancement

Similar to the complex labels of the Z box that are now supported

PyZX only has the W fusion rule for now. PyZX should support some of the common rewrite rules of the ZXW calculus. Here are the few rules I have in...

enhancement

Adding back this issue as it was removed from the previous issue #60

Type: enhancement
Category: Proof mode
Priority: Medium

The graph rewrite rules from https://github.com/Quantomatic/zxlive/commit/44cf15e431fbf094108d3855668c7b27a84ff949 are missing animations

Type: enhancement
Category: Proof mode
Priority: Low

Category: Documentation
Priority: High

Currently all the PyZX simplification routines are shown and can be applied from the "Simplify" menu. But some simplifications would not change the current diagram, for instance, in the case...

Type: enhancement
Category: Proof mode
Priority: Low