add two sample theorems

Author: zamdzhiev

theorems/bb_green_sp.qrule

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx1":{"contents":["b1"],"parent":"bx3"},"bx3":{"contents":["b0","b1","v0","v1","v2"]},"bx2":{"contents":["v2"],"parent":"bx3"},"bx0":{"contents":["b0"],"parent":"bx3"}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.5,4.25]}},"b0":{"annotation":{"boundary":true,"coord":[0.5,-2.5]}},"v2":{"annotation":{"coord":[-1.25,0.75]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"y","label":"y"},"annotation":{"coord":[0.5,-1.0]}},"v0":{"data":{"type":"Z","value":"x","label":"x"},"annotation":{"coord":[0.5,2.5]}}},"undir_edges":{"e1":{"src":"v0","tgt":"v1"},"e0":{"src":"b1","tgt":"v0"},"e4":{"src":"v2","tgt":"v1"},"e3":{"src":"v0","tgt":"v2"},"e2":{"src":"v1","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx3"},"bx1":{"contents":["b1"],"parent":"bx3"},"bx2":{"parent":"bx3"},"bx3":{"contents":["b0","b1","v0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.25,-1.25]}},"b1":{"annotation":{"boundary":true,"coord":[0.25,1.5]}}},"node_vertices":{"v0":{"data":{"type":"Z","value":"x+y","label":"x+y"},"annotation":{"coord":[0.25,0.25]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"b0"}}}}

theorems/bb_green_to_red.qrule

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0","v2"],"parent":"bx1"},"bx1":{"contents":["b0","v0","v2"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.5,0.0]}}},"node_vertices":{"v2":{"data":{"type":"hadamard","value":""},"annotation":{"coord":[0.5,1.0]}},"v0":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[0.5,2.0]}}},"undir_edges":{"e2":{"src":"v2","tgt":"b0"},"e3":{"src":"v0","tgt":"v2"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx1"},"bx1":{"contents":["b0","v0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[-0.5,-0.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":"x"},"annotation":{"coord":[-0.5,2.0]}}},"undir_edges":{"e0":{"src":"v0","tgt":"b0"}}}}