wzpxq

The same goes also for H_BOX next to an H-edge, btw: ``` g = zx.Graph() v0 = g.add_vertex(zx.VertexType.BOUNDARY, 0, 0) v1 = g.add_vertex(zx.VertexType.H_BOX, 0, 1) g.add_edge((v0, v1), zx.EdgeType.HADAMARD) v2 =...

Thank you for the two replies. So, as I have understood it, I simply have to call ``zx.hsimplify.from_hypergraph_form(g)`` to turn all ``H_BOX``es into ``HADAMARD`` edges, before ``full_reduce`` can do its...

I also think that ``copy_simp`` should be added to ``full_reduce`` (along with a call of ``to_gh`` before it) For example, consider the following graph: ``` g = zx.Graph() v0 =...