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

Implementation of ZW Diagram #99

Closed exAClior closed 1 year ago

exAClior commented 1 year ago

Start to implement ZWDiagram from Planar Multigraph data structure.

I try to implement the following ADTs that are generators of pW fragment, fragment for local fermionic mode quantum computer, universal quantum computer fragment.

  1. binary Z spider + W spider + fSWAP
    • SWAP
    • one-nary Z spider

It should be noted that I need to prove that binary Z spider and one-nary Z spider together with other generators can generate n-nary Z spider.

codecov[bot] commented 1 year ago

Codecov Report

Attention: 73 lines in your changes are missing coverage. Please review.

Files Coverage Δ
src/ZXCalculus.jl 100.00% <100.00%> (ø)
src/parameter.jl 77.67% <ø> (ø)
src/zw_adt.jl 75.00% <75.00%> (ø)
src/zw_diagram.jl 96.51% <96.51%> (ø)
src/zw_utils.jl 78.10% <78.10%> (ø)
src/planar_multigraph.jl 78.60% <47.29%> (-6.71%) :arrow_down:

... and 2 files with indirect coverage changes

:loudspeaker: Thoughts on this report? Let us know!.

exAClior commented 1 year ago

I have sorted functions in docs based on their module. There is still a tcount function left in the api.md. It is currently been referenced in example.md I will remove it after modifying the documentation.