Will Cashman
Will Cashman
Parameterised spiders currently support fractions of pi e.g. "\pi/2", but not more complex expressions such as `(k + l) * \pi` where `k` and `l` are parameters. This should be...
There is a bug where sometimes proofs are not saved or loaded correctly. Example: 1. Start with the default diagram and fuse the two circled spiders to get 2. Save...
**Context:** Many researchers in MBQC use a graphical approach to reasoning about patterns. These center around the concept of a open graph which can be thought of as a graphical...
Currently we only test converting Open graphs to (`OpenGraph.to_pattern()`) and from (`OpenGraph.from_pattern()`) patterns with a couple of handcrafted examples in `tests/test_opengraph.py`. It would instead be more robust to test these...
Add a page in the website for explaining how to export diagrams and proofs into LaTex documents. People need to import certain style files so its not a smooth process...