search

QuantumBFS / ZXCalculus.jl

An implementation of ZX-calculus in Julia
http://yaoquantum.org/ZXCalculus.jl/dev/
MIT License
48 stars 7 forks source link

Fix the wrong implementation of phase teleportation #47

Closed ChenZhao44 closed 4 years ago

ChenZhao44 commented 4 years ago

The previous implementation of the rule id and the rule gf is wrong. It will cause inequivalent transformations between ZX-diagrams.

codecov[bot] commented 4 years ago

Codecov Report

Merging #47 into master will decrease coverage by 0.63%. The diff coverage is 60.00%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #47      +/-   ##
==========================================
- Coverage   90.59%   89.95%   -0.64%     
==========================================
  Files          13       13              
  Lines        1212     1225      +13     
==========================================
+ Hits         1098     1102       +4     
- Misses        114      123       +9
Impacted Files Coverage Δ
src/rules.jl 95.38% <60.00%> (-1.91%) :arrow_down:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 5cc078c...8296a7b. Read the comment docs.