Stefan Krastanov

I can send a documentation PR that intersperses mentions of "how to do the embedding" throughout the manual, however, could you share a brief sentence on what is the "grand...

The problem pops up in `is_irreducible` too: ``` p = 2 l = 4 q = p^l 𝔽q , unit = FiniteField(ZZ(q),1) R𝔽q, x = PolynomialRing(𝔽q, "x") ``` ``` julia>...

Indeed, I just discovered that was the problem. Is this still a bug though? If the correct way to create the field is `FiniteField(2,5)`, then why is `FiniteField(ZZ(2^5), 1)` even...

In that case I believe I should close this issue. Feel free to reopen it as an "add input sanitation" enhancement request if that makes sense.

Ideally interoperability would not require creating a dependency on a large complicated external package. This is one of my main worries as I am particularly happy how small `QuantumClifford` is.

Thanks, this is very informative! Yes, indeed, it is simply the tableaux formalism (with the "destabilizer" secondary tableaux also implemented in order to further speed up some of the operations)....

I saw your edit concerning `ZXCalculus`. Could you give a simple example against which I can benchmark to see whether `QuantumClifford` can provide anything of use? For instance, how would...

Thank you, I have a much better understanding now. I will try to keep up with Yao's development. The simulation of noisy Clifford circuits (e.g. the Monte Carlo and the...

Related: Work on using `QuantumClifford.jl` as a possible backend for Yao is being done here: https://github.com/QuantumBFS/YaoClifford.jl But more to the point of this issue: @Roger-luo , how feasible would it...

Thanks! For the moment I will try to at least keep the naming conventions the same as the ones you have established for Yao (it would probably not be always...