John van de Wetering

So there is a part in pyzx which is less nice, which is that some of the matchers are a bit hacky and change the graph in place. I believe...

It looks like in your final step the graph that you are applying the pivot to is not graph-like (it has unfused regular edges between spiders). Pivot assumes the diagram...

Yes, `to_gh` and `spider_simp` make a diagram graph-like. Applying pivots (and local complementations) preserves it being graph-like. Bialgebra works on z and x spiders and hence never applies on graph-like...

It should usually be specified in the docstring of the function. If it isn't, then it should probably be added.

Hmm, I must have imagined this being clearly stated somewhere. Yes, it would be good if this would be added. You can create an issue if you want.

I'm closing this as it's clear that this is not a bug, but a lack of documentation.

I think the ones that are supported to save to a file: json, tikz, with maybe a default value of json.

I have not really used this function in many years, so not exactly sure what the state of it is. I'm pretty sure it will only work correctly if you...

Since H-boxes also work with the current phase infrastructure, where a Fraction is used to represent a complex phase, I'm not sure what the best way to do this would...

The way the complex phases currently work in Z-Boxes is that they use the vertexdata field instead of the phase field. Using a phase on Z-boxes is then considered to...