Boldizsár Poór

Broken eval with scalars

3

When you evaluate a simple diagram that has a scalar too, you get an error. Example: ```py from discopy.quantum import Ket, scalar, H, CX, Rz, Id, qubit import tensornetwork as...

Provide a decision tree similar to: https://rxjs.dev/operator-decision-tree Also good to note: 

Update rewrites to work well with Multigraphs

7

Basic rewrites that need to be fixed: - [x] Color change - [x] Fusion of multiple vertices - [x] Fusion sometimes with a mulit-edge - [x] Push Pauli - [x]...

Input common patterns as ZX diagrams via text input

2

See also #178 - [ ] sums of Pauli strings (ZXW diagram) - [ ] sequence of Pauli/phase gadgets - [ ] a parity matrix - [ ] a set...

This removes an edge instead of unfusing it:

It would be nice to set the precision of the displayed matrix either in settings or in the dialogue. Another nice feature would be if the matrix could be copied...

add_edge with auto_simplify is incorrect in Multigraph

3

It incorrectly changes scalars, and it sometimes can't add self-loops. For a reference, the new tests in #258 don't work if auto_simplify is enabled.

Add support for fault-equivalent rewrite rules

6

Implements several fault-equivalent (FE) rewrite rules, including: - `elim_FE` - `color_change_FE` - `fuse_1_FE` - `unfuse_1_FE` - `unfuse_4_FE` - `unfuse_5_FE` - `unfuse_2n_FE` - `recursive_unfuse_2n_FE` Adds support for w-fault-equivalent rewrites via a...