QuantumBFS / ZXCalculus.jl

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

Fix issues (IR, layout, Rule{:id}) #86

Closed ChenZhao44 closed 2 years ago

ChenZhao44 commented 2 years ago
  1. Fix the case that full_reduction will create IRs that cannot be converted to ZXDiagrams.
  2. Makes generate_layout more general.
  3. Makes Rule{:id} capable with inner Z-spiders (fix #78 ).
codecov[bot] commented 2 years ago

Codecov Report

Merging #86 (1d91bac) into master (46532b1) will decrease coverage by 0.51%. The diff coverage is 70.65%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #86      +/-   ##
==========================================
- Coverage   93.76%   93.25%   -0.52%     
==========================================
  Files          11       11              
  Lines        1749     1927     +178     
==========================================
+ Hits         1640     1797     +157     
- Misses        109      130      +21     
Impacted Files Coverage Δ
src/rules.jl 91.60% <45.65%> (-3.01%) :arrow_down:
src/zx_graph.jl 93.60% <92.85%> (-1.61%) :arrow_down:
src/ir.jl 89.24% <100.00%> (+1.24%) :arrow_up:
src/simplify.jl 94.66% <100.00%> (+7.06%) :arrow_up:
src/zx_diagram.jl 96.78% <100.00%> (-0.06%) :arrow_down:
src/scalar.jl 100.00% <0.00%> (ø)
src/phase_teleportation.jl 100.00% <0.00%> (ø)
... and 4 more

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 46532b1...1d91bac. Read the comment docs.