Skip to content

Commit

Permalink
added ZH project
Browse files Browse the repository at this point in the history
  • Loading branch information
@akissinger
akissinger committed Apr 7, 2018
1 parent acf3c52 commit dbbed7d
Show file tree
Hide file tree
Showing 49 changed files with 47 additions and 0 deletions.
Binary file added zh/.DS_Store
View file
Binary file not shown.
1 change: 1 addition & 0 deletions zh/axioms/disconnect.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[1.0,-1.0]}},"b0":{"annotation":{"boundary":true,"coord":[-1.0,-1.0]}},"b2":{"annotation":{"boundary":true,"coord":[0.0,3.0]}}},"node_vertices":{"v3":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[1.0,-0.0]}},"v1":{"annotation":{"coord":[0.0,2.0]}},"v0":{"data":{"type":"X","value":"pi"},"annotation":{"coord":[-0.5,1.0]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-1.0,-0.0]}}},"undir_edges":{"e6":{"src":"v1","tgt":"b2"},"e1":{"src":"v0","tgt":"v1"},"e5":{"src":"b1","tgt":"v3"},"e0":{"src":"v2","tgt":"v0"},"e4":{"src":"b0","tgt":"v2"},"e3":{"src":"v2","tgt":"v3"},"e2":{"src":"v3","tgt":"v1"}}},"rhs":{"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[1.0,-1.0]}},"b0":{"annotation":{"boundary":true,"coord":[-1.0,-1.0]}},"b2":{"annotation":{"boundary":true,"coord":[0.0,3.0]}}},"node_vertices":{"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[-1.0,-0.0]}},"v5":{"annotation":{"coord":[0.5,-0.0]}},"v1":{"annotation":{"coord":[0.0,2.0]}},"v4":{"annotation":{"coord":[-0.5,0.0]}},"v0":{"data":{"type":"X","value":"pi"},"annotation":{"coord":[-0.5,1.0]}},"v3":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[1.0,-0.0]}}},"undir_edges":{"e6":{"src":"v1","tgt":"b2"},"e1":{"src":"v0","tgt":"v1"},"e5":{"src":"b1","tgt":"v3"},"e7":{"src":"v2","tgt":"v4"},"e0":{"src":"v2","tgt":"v0"},"e4":{"src":"b0","tgt":"v2"},"e8":{"src":"v5","tgt":"v3"},"e2":{"src":"v3","tgt":"v1"}}}}
1 change: 1 addition & 0 deletions zh/axioms/h-bialg.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b1","v1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}}}
1 change: 1 addition & 0 deletions zh/axioms/h-id.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.5]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-0.5]}},"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,0.5]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}},"rhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"b1"}}}}
1 change: 1 addition & 0 deletions zh/axioms/h-spider.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,2.0]}}},"node_vertices":{"v1":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-0.0]}},"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-1.0]}},"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"v2"},"e3":{"src":"v2","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.0,-0.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"}}}}
1 change: 1 addition & 0 deletions zh/axioms/noop.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{},"rhs":{}}
1 change: 1 addition & 0 deletions zh/axioms/x-id.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.5]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,0.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"b1"}}},"rhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"b1"}}}}
1 change: 1 addition & 0 deletions zh/axioms/x-spider.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,2.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":"a"},"annotation":{"coord":[0.0,1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,-1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v1","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":"a"},"annotation":{"coord":[0.0,-0.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"}}}}
1 change: 1 addition & 0 deletions zh/axioms/z-id.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.5]}}},"node_vertices":{"v0":{"annotation":{"coord":[0.0,0.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"b1"}}},"rhs":{"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"b1"}}}}
1 change: 1 addition & 0 deletions zh/axioms/z-pi-commute.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"bang_boxes":{"bx0":{"contents":["b1"]},"bx1":{"contents":["b0","v0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,1.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":"pi"},"annotation":{"coord":[0.0,-1.0]}},"v1":{"annotation":{"coord":[0.0,-0.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b1","v1"]},"bx1":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[0.0,-0.0]}},"v1":{"data":{"type":"X","value":"pi"},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}}}
1 change: 1 addition & 0 deletions zh/axioms/z-spider.qrule
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,2.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"a"},"annotation":{"coord":[0.0,1.0]}},"v1":{"annotation":{"coord":[0.0,-1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v1"},"e1":{"src":"v1","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,1.0]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"a"},"annotation":{"coord":[0.0,-0.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"}}}}
1 change: 1 addition & 0 deletions zh/derivations/disconnect-4.qderive
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions zh/derivations/disconnect-4p.qderive
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions zh/derivations/gen-disconnect-4.qderive
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions zh/derivations/gen-n-disconnect.qderive
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions zh/derivations/gen-split-example1.qderive
View file

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions zh/derivations/gen-split.qderive
View file

Large diffs are not rendered by default.

Loading

0 comments on commit dbbed7d

Please sign in to comment.