John van de Wetering

That list you link does not mention a P gate, unless I missed it?

So the problem I think is that the `extract_circuit` method does it in such a way that it generates both CNOTs and CZs during extraction. You can probably get it...

Yeah I don't exactly see how that corresponds to a normal form either, weird. Okay, I'll look into making a dedicated function for this, because it would be a nice...

That's because I have not yet pushed a new version of PyZX to pip (I should do this sooner rather than later I think), so it is not available yet....

I think the following is a related example: ``` from typing import Union from fractions import Fraction import math def f(a: Union[Fraction, int]) -> Union[Fraction, int]: return math.pi*a ``` This...

Hmm yes, maybe splitting it up into two functions, one that just returns the Label, and the other that also prints it and has this name would be the thing...

Yeah I guess we don't really need the `get_matrix_label' function. If you want to change back your PR so that it always just displays, then that is fine.

Sorry, I got distracted with other things. The function I just added should do what you asked. Now that I am at it I also want to add a function...

And now also implemented a new function `zx.extract.extract_clifford_normal_form` that immediately gives you a circuit out.

Can I close this issue?