Skip to content

Commit

Permalink
Started qutrit project
Browse files Browse the repository at this point in the history 
Currently failing to match an instance of H1 inside a !-box
  • Loading branch information
Hector committed Feb 6, 2018
1 parent 5046830 commit acf3c52
Show file tree
Hide file tree
Showing 21 changed files with 21 additions and 0 deletions.
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/S2.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-0.0,2.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/B1.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v1"},"e1":{"src":"b1","tgt":"v1"},"e2":{"src":"v1","tgt":"v0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,3.0]}},"v1":{"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"b1","tgt":"v1"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-3.0,-1.0]}},"b1":{"annotation":{"boundary":true,"coord":[2.0,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-3.0,1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.0,1.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/B2.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e6":{"src":"v0","tgt":"v3"},"e1":{"src":"v1","tgt":"v3"},"e5":{"src":"v2","tgt":"b0"},"e7":{"src":"v1","tgt":"v2"},"e0":{"src":"b3","tgt":"v1"},"e4":{"src":"v0","tgt":"v2"},"e3":{"src":"b2","tgt":"v0"},"e2":{"src":"v3","tgt":"b1"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[3.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-2.0,-1.0]}},"b3":{"annotation":{"boundary":true,"coord":[3.0,-1.0]}}},"node_vertices":{"v3":{"annotation":{"coord":[3.0,4.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[3.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-2.0,1.0]}},"v2":{"annotation":{"coord":[-2.0,4.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v0"},"e0":{"src":"b2","tgt":"v1"},"e4":{"src":"v0","tgt":"b1"},"e3":{"src":"b3","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[3.0,6.0]}},"b0":{"annotation":{"boundary":true,"coord":[-3.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-3.0,-1.0]}},"b3":{"annotation":{"boundary":true,"coord":[3.0,-1.0]}}},"node_vertices":{"v1":{"annotation":{"coord":[0.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,4.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/EU.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"b1"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,5.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v2"},"e2":{"src":"v2","tgt":"v1"},"e3":{"src":"v1","tgt":"b1"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,5.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"2/3, 2/3"},"annotation":{"coord":[0.0,3.0]}},"v0":{"data":{"type":"Z","value":"2/3, 2/3"},"annotation":{"coord":[0.0,-1.0]}},"v2":{"data":{"type":"X","value":"2/3, 2/3"},"annotation":{"coord":[0.0,1.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/H1a.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/H1b.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-4.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/H2a.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v2"},"e5":{"src":"b2","tgt":"v2"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"v2","tgt":"b3"},"e3":{"src":"v0","tgt":"b0"},"e2":{"src":"v2","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b1","v1"]},"bx2":{"contents":["b3"]},"bx3":{"contents":["b2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-2.0,0.0]}},"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.0,4.0]}},"v2":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v0","tgt":"b0"},"e5":{"src":"v2","tgt":"v0"},"e0":{"src":"b1","tgt":"v0"},"e4":{"src":"b2","tgt":"v2"},"e3":{"src":"v1","tgt":"b3"},"e2":{"src":"v0","tgt":"v1"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b3","v1"]},"bx3":{"contents":["b2","v2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[2.0,4.0]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.25]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[2.0,0.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/H2b.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v2"},"e5":{"src":"v2","tgt":"b3"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"b2","tgt":"v2"},"e3":{"src":"v0","tgt":"b0"},"e2":{"src":"v2","tgt":"v0"}},"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b1","v1"]},"bx3":{"contents":["b2"]},"bx2":{"contents":["b3"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-2.0,0.0]}},"v0":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-2.0,4.0]}},"v2":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[0.0,2.0]}}}},"rhs":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"},"e5":{"src":"v0","tgt":"v1"},"e0":{"src":"b1","tgt":"v0"},"e4":{"src":"b2","tgt":"v2"},"e3":{"src":"v1","tgt":"b3"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]},"bx3":{"contents":["b2","v2"]},"bx2":{"contents":["b3","v1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[2.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[2.0,4.0]}},"v0":{"data":{"type":"Z","value":"\\beta, \\alpha"},"annotation":{"coord":[0.0,2.25]}},"v2":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[2.0,0.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/K1a.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b2","tgt":"v0"},"e1":{"src":"b1","tgt":"v0"},"e2":{"src":"v0","tgt":"v1"},"e3":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[3.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[-0.0,4.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v0"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"v2","tgt":"v0"},"e3":{"src":"b2","tgt":"v2"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-4.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[4.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[-2.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,4.0]}},"v2":{"data":{"type":"Z","value":"1/3,2/3"},"annotation":{"coord":[2.0,1.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/K1b.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b2","tgt":"v0"},"e1":{"src":"b1","tgt":"v0"},"e2":{"src":"v0","tgt":"v1"},"e3":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[3.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[-0.0,4.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.0]}}}},"rhs":{"dir_edges":{"e1":{"src":"v1","tgt":"v0"},"e0":{"src":"b1","tgt":"v1"},"e4":{"src":"v2","tgt":"v0"},"e3":{"src":"b2","tgt":"v2"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-4.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[4.0,-2.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[-2.0,1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,4.0]}},"v2":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[2.0,1.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/K2a.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v1","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[0.0,3.0]}},"v1":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-0.0,-1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"1/3, 2/3"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"X","value":"\\beta- \\alpha, -\\alpha"},"annotation":{"coord":[0.0,3.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/K2b.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v1","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[0.0,3.0]}},"v1":{"data":{"type":"X","value":"\\alpha, \\beta"},"annotation":{"coord":[-0.0,-1.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.0,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"2/3,1/3"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"X","value":"-\\beta, \\alpha-\\beta"},"annotation":{"coord":[0.0,3.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/P1a.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"v1"},"e3":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.5,5.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.5,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.5,-1.25]}},"v1":{"annotation":{"coord":[-0.5,3.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/P1b.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/P1c.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v0","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-4.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[4.0,-4.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[-2.5,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[2.75,2.25]}}}},"rhs":{"dir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.0,-4.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[-0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":"\\pi"},"annotation":{"coord":[0.0,1.0]}}}}}
1 change: 1 addition & 0 deletions zx-qutrit-stabilizer/axioms/S1.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"dir_edges":{"e6":{"src":"v2","tgt":"v0"},"e1":{"src":"v1","tgt":"v0"},"e5":{"src":"v1","tgt":"v2"},"e0":{"src":"b3","tgt":"v1"},"e4":{"src":"v0","tgt":"b0"},"e3":{"src":"b2","tgt":"v0"},"e2":{"src":"v1","tgt":"b1"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx4":{"contents":["v2"]},"bx3":{"contents":["b3"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b2"]}},"wire_vertices":{"b2":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[4.0,-3.0]}},"v2":{"annotation":{"coord":[1.25,2.25],"boundary":false}},"b1":{"annotation":{"boundary":true,"coord":[4.0,5.0]}},"b0":{"annotation":{"boundary":true,"coord":[-3.0,6.0]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"\\gamma, \\delta"},"annotation":{"coord":[2.0,0.0]}},"v0":{"data":{"type":"Z","value":"\\alpha, \\beta"},"annotation":{"coord":[-1.0,3.0]}}}},"rhs":{"dir_edges":{"e0":{"src":"b2","tgt":"v0"},"e1":{"src":"b3","tgt":"v0"},"e2":{"src":"v0","tgt":"b1"},"e3":{"src":"v0","tgt":"b0"}},"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]},"bx2":{"contents":["b2"]},"bx3":{"contents":["b3"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[4.0,5.0]}},"b0":{"annotation":{"boundary":true,"coord":[-3.0,6.0]}},"b2":{"annotation":{"boundary":true,"coord":[-3.0,-2.0]}},"b3":{"annotation":{"boundary":true,"coord":[4.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"\\alpha + \\gamma, \\beta + \\delta"},"annotation":{"coord":[1.0,1.0]}}}}}
Loading

0 comments on commit acf3c52

Please sign in to comment.