rossduncan
rossduncan
Aleks's suggestion would be fine for me.
By way of example: I have a circuit consisting of 8 CNOTS, I apply rotate_simp and it takes 16 minutes to perform the first rewrite (and then all the rest...
Good commit - I don't know; something that was current in the summer? Bad commit -- today : 17797e05790d747a2cb05fcb6c28f50199055e7f Example I just mentioned is attached, however I am seeing this...
I'm using the example zx-stabilzier project. The only rule loaded is axioms/gen_bialg_simp, both in forward and backward directions. Attached is the current state of my proof development, which is currently...
Which commit is good? I need a working version :)
Hi Sal, Actually I'm not seeing the problem with the qpc2018 branch. Don't know what's going on here! -r
Confirmed, not the example you mention but using the spider rules seems to trigger it.
Hi Andrew, Thanks for getting back to me. I’m not much of TeX hacker so I’m afraid all I can contribute is bug reports. I will try your work around....