re-instanted rotation simplifier

Author: akissinger

derivations/bb_green_sp_simp.qderive

@@ -0,0 +1 @@
+{"root":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx2"},"bx1":{"contents":["b1"],"parent":"bx2"},"bx2":{"contents":["b0","b1","v0","v1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"","label":"y"},"annotation":{"coord":[0.0,-1.0]}},"v0":{"data":{"type":"Z","value":"x","label":"x"},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}}},"steps":{"bb_green_sp-0":{"name":"bb_green_sp-0","rule":{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx2"},"bx1":{"contents":["b1"],"parent":"bx2"},"bx2":{"contents":["b0","b1","v3","v4"]}},"wire_vertices":["b0","b1"],"node_vertices":{"v3":{},"v4":{"data":{"type":"Z","value":"x"}}},"undir_edges":{"Ea":{"src":"v3","tgt":"v4"},"e2":{"src":"b0","tgt":"v3"},"e4":{"src":"v4","tgt":"b1"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx2"},"bx1":{"contents":["b1"],"parent":"bx2"},"bx2":{"contents":["b0","b1","v2"]}},"wire_vertices":["b0","b1"],"node_vertices":{"v2":{"data":{"type":"Z","value":"x"}}},"undir_edges":{"e3":{"src":"b0","tgt":"v2"},"e4":{"src":"v2","tgt":"b1"}}}},"graph":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx2"},"bx1":{"contents":["b1"],"parent":"bx2"},"bx2":{"contents":["b0","b1","v2"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}}},"node_vertices":{"v2":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[-7.518882992602768E-4,0.17489984468469486]}}},"undir_edges":{"e3":{"src":"b0","tgt":"v2"},"e4":{"src":"v2","tgt":"b1"}}},"rule_name":"theorems/bb_green_sp"}},"heads":["bb_green_sp-0"]}

derivations/green_elim.qderive

@@ -0,0 +1 @@
+{"root":{"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b0"],"parent":"bx0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[0.0,-0.5]}},"v1":{"annotation":{"coord":[0.0,3.0]}},"v2":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.5]}}},"undir_edges":{"e0":{"src":"v1","tgt":"v2"},"e1":{"src":"v2","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}}},"steps":{"gen_bialg-0":{"name":"gen_bialg-0","rule":{"lhs":{"bang_boxes":{"bx0":{"contents":["b0","v3"]},"bx1":{"contents":["b0"],"parent":"bx0"}},"wire_vertices":["b0"],"node_vertices":{"v3":{},"v4":{"annotation":{"coord":[0.25,1.25]}},"v5":{"data":{"type":"X","value":""},"annotation":{"coord":[0.25,0.25]}}},"undir_edges":{"Ea":{"src":"v4","tgt":"v5"},"Eb":{"src":"v5","tgt":"v3"},"e6":{"src":"v3","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0","v4"]},"bx1":{"contents":["b0"],"parent":"bx0"}},"wire_vertices":["b0"],"node_vertices":["v4"],"undir_edges":{"e4":{"src":"v4","tgt":"b0"}}}},"graph":{"bang_boxes":{"bx0":{"contents":["b0","v4"]},"bx1":{"contents":["b0"],"parent":"bx0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v4":{"annotation":{"coord":[-0.0030441242608455848,-0.8107430454299842]}}},"undir_edges":{"e4":{"src":"v4","tgt":"b0"}}},"rule_name":"axioms/gen_bialg","rule_variant":"inverse"}},"heads":["gen_bialg-0"]}

derivations/green_id_on_red.qderive

@@ -0,0 +1 @@
+{"root":{"bang_boxes":{"bx0":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.02,-2.03]}},"b1":{"annotation":{"boundary":true,"coord":[1.14,-0.93]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.02,-0.03]}}},"undir_edges":{"e0":{"src":"v0","tgt":"b0"},"e1":{"src":"b1","tgt":"v0"}}},"steps":{"green_id-0":{"name":"green_id-0","rule":{"lhs":{"wire_vertices":{"Va":{"annotation":{"boundary":true,"coord":[0.25,1.0]}},"Vb":{"annotation":{"boundary":true,"coord":[0.25,-2.0]}}},"undir_edges":{"e1":{"src":"Va","tgt":"Vb"}}},"rhs":{"wire_vertices":{"Va":{"annotation":{"boundary":true,"coord":[0.25,1.0]}},"Vb":{"annotation":{"boundary":true,"coord":[0.25,-2.0]}}},"node_vertices":{"v1":{"annotation":{"coord":[0.25,-0.5]}}},"undir_edges":{"e1":{"src":"Va","tgt":"v1"},"e2":{"src":"v1","tgt":"Vb"}}}},"graph":{"bang_boxes":{"bx0":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[1.25,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.0,-0.0]}},"v1":{"annotation":{"coord":[0.75,-0.5]}}},"undir_edges":{"Ea":{"src":"b1","tgt":"v1"},"Eb":{"src":"v1","tgt":"v0"},"e0":{"src":"v0","tgt":"b0"}}},"rule_name":"axioms/green_id","rule_variant":"inverse"}},"heads":["green_id-0"]}

derivations/green_sp_simp.qderive

@@ -0,0 +1 @@
+{"root":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"","label":"y"},"annotation":{"coord":[0.0,-1.0]}},"v0":{"data":{"type":"Z","value":"x","label":"x"},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}}},"steps":{"green_sp-0":{"name":"green_sp-0","rule":{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":["b0","b1"],"node_vertices":{"v2":{"annotation":{"coord":[0.5,2.5]}},"v3":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[0.5,-1.0]}}},"undir_edges":{"Ea":{"src":"v2","tgt":"v3"},"e1":{"src":"b0","tgt":"v2"},"e3":{"src":"v3","tgt":"b1"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":["b0","b1"],"node_vertices":{"v2":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[0.25,0.25]}}},"undir_edges":{"e1":{"src":"b0","tgt":"v2"},"e2":{"src":"v2","tgt":"b1"}}}},"graph":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}}},"node_vertices":{"v2":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[-7.452747408839991E-4,0.17243288559129114]}}},"undir_edges":{"e1":{"src":"b0","tgt":"v2"},"e2":{"src":"v2","tgt":"b1"}}},"rule_name":"axioms/green_sp"}},"heads":["green_sp-0"]}

derivations/red_sp_simp.qderive

@@ -0,0 +1 @@
+{"root":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,2.25]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v1":{"data":{"type":"X","value":"x","label":"x"},"annotation":{"coord":[0.0,0.75]}},"v0":{"data":{"type":"X","value":"","label":"y"},"annotation":{"coord":[0.0,-0.75]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}},"steps":{"red_sp-0":{"name":"red_sp-0","rule":{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":["b0","b1"],"node_vertices":{"v2":{"data":{"type":"X","value":"x"},"annotation":{"coord":[0.75,-0.75]}},"v3":{"data":{"type":"X","value":""},"annotation":{"coord":[0.75,2.75]}}},"undir_edges":{"Ea":{"src":"v2","tgt":"v3"},"e1":{"src":"b1","tgt":"v2"},"e3":{"src":"v3","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":["b0","b1"],"node_vertices":{"v2":{"data":{"type":"X","value":"x"},"annotation":{"coord":[0.25,0.25]}}},"undir_edges":{"e2":{"src":"b1","tgt":"v2"},"e3":{"src":"v2","tgt":"b0"}}}},"graph":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.25]}}},"node_vertices":{"v2":{"data":{"type":"X","value":"x"},"annotation":{"coord":[-8.269322765165624E-4,-0.2648439933944915]}}},"undir_edges":{"e2":{"src":"b1","tgt":"v2"},"e3":{"src":"v2","tgt":"b0"}}},"rule_name":"axioms/red_sp"}},"heads":["red_sp-0"]}

derivations/rotate.qderive

@@ -0,0 +1 @@
+{"wire_vertices":{"b2":{"annotation":{"boundary":true,"coord":[-4.25,-1.75]}},"b3":{"annotation":{"boundary":true,"coord":[4.25,0.0]}},"b4":{"annotation":{"boundary":true,"coord":[4.25,1.75]}},"b1":{"annotation":{"boundary":true,"coord":[-4.25,0.0]}},"b0":{"annotation":{"boundary":true,"coord":[-4.25,1.75]}},"b5":{"annotation":{"boundary":true,"coord":[4.25,-1.75]}}},"node_vertices":{"v7":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,0.0]}},"v2":{"annotation":{"coord":[0.0,1.75]}},"v6":{"annotation":{"coord":[2.0,-1.75]}},"v5":{"annotation":{"coord":[0.0,-1.75]}},"v8":{"data":{"type":"X","value":""},"annotation":{"coord":[2.0,0.0]}},"v1":{"annotation":{"coord":[-2.0,1.75]}},"v4":{"annotation":{"coord":[-2.0,-1.75]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-2.0,0.0]}},"v3":{"annotation":{"coord":[2.0,1.75]}}},"undir_edges":{"e6":{"src":"v8","tgt":"b4"},"e18":{"src":"v1","tgt":"v7"},"e12":{"src":"v1","tgt":"v0"},"e5":{"src":"b2","tgt":"v4"},"e7":{"src":"v6","tgt":"b5"},"e17":{"src":"v2","tgt":"v8"},"e0":{"src":"b0","tgt":"v1"},"e4":{"src":"b1","tgt":"v0"},"e13":{"src":"v0","tgt":"v4"},"e8":{"src":"v3","tgt":"v8"},"e16":{"src":"v3","tgt":"v7"},"e3":{"src":"v3","tgt":"b3"},"e10":{"src":"v2","tgt":"v7"},"e14":{"src":"v4","tgt":"v5"},"e9":{"src":"v8","tgt":"v6"},"e15":{"src":"v5","tgt":"v6"},"e11":{"src":"v7","tgt":"v5"},"e19":{"src":"v2","tgt":"v0"}}}

derivations/rotate_lem.qderive

@@ -0,0 +1,35 @@
+open RG_SimpUtil
+
+val rotate = load_rule "theorems/rotate";
+val green_ids = load_rule "theorems/green_id_on_red";
+val green_elim = load_rule "theorems/green_elim";
+val simps = load_ruleset [
+  "axioms/red_copy", "axioms/red_sp", "axioms/green_sp", "axioms/hopf",
+  "axioms/red_scalar", "axioms/green_scalar", "axioms/green_id",
+  "axioms/red_id", "axioms/red_loop", "axioms/green_loop"];
+
+val simproc = (
+  REDUCE_ALL simps ++
+  REDUCE_METRIC_TO 0 num_boundary_red green_ids ++
+  LOOP (
+    REDUCE_METRIC_TO 1 min_green_arity rotate ++
+    REDUCE_WHILE (fn g => min_green_arity g = 1) green_elim
+  ) ++
+  REDUCE_ALL simps
+);
+
+register_simproc ("rotate_simp", simproc);
+
+
+
+
+
+
+
+
+
+
+
+
+
+

graphs/threegates.qgraph

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx2"},"bx1":{"contents":["b1"],"parent":"bx2"},"bx2":{"contents":["b0","b1","v0","v1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"","label":"y"},"annotation":{"coord":[0.0,-1.0]}},"v0":{"data":{"type":"Z","value":"x","label":"x"},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"],"parent":"bx2"},"bx1":{"contents":["b1"],"parent":"bx2"},"bx2":{"contents":["b0","b1","v2"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}}},"node_vertices":{"v2":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[-7.518882992602768E-4,0.17489984468469486]}}},"undir_edges":{"e3":{"src":"b0","tgt":"v2"},"e4":{"src":"v2","tgt":"b1"}}},"derivation":"derivations/bb_green_sp_simp"}

simprocs/rotate_simp.ML

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx1":{"contents":["b0"],"parent":"bx0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v0":{"annotation":{"coord":[0.0,-0.5]}},"v1":{"annotation":{"coord":[0.0,3.0]}},"v2":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.5]}}},"undir_edges":{"e0":{"src":"v1","tgt":"v2"},"e1":{"src":"v2","tgt":"v0"},"e2":{"src":"v0","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0","v4"]},"bx1":{"contents":["b0"],"parent":"bx0"}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}}},"node_vertices":{"v4":{"annotation":{"coord":[-0.0030441242608455848,-0.8107430454299842]}}},"undir_edges":{"e4":{"src":"v4","tgt":"b0"}}},"derivation":"derivations/green_elim"}

theorems/bb_green_sp_simp.qrule

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.02,-2.03]}},"b1":{"annotation":{"boundary":true,"coord":[1.14,-0.93]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.02,-0.03]}}},"undir_edges":{"e0":{"src":"v0","tgt":"b0"},"e1":{"src":"b1","tgt":"v0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.0]}},"b1":{"annotation":{"boundary":true,"coord":[1.25,-1.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.0,-0.0]}},"v1":{"annotation":{"coord":[0.75,-0.5]}}},"undir_edges":{"Ea":{"src":"b1","tgt":"v1"},"Eb":{"src":"v1","tgt":"v0"},"e0":{"src":"v0","tgt":"b0"}}},"derivation":"derivations/green_id_on_red"}

theorems/green_elim.qrule

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v1":{"data":{"type":"Z","value":"","label":"y"},"annotation":{"coord":[0.0,-1.0]}},"v0":{"data":{"type":"Z","value":"x","label":"x"},"annotation":{"coord":[0.0,1.0]}}},"undir_edges":{"e0":{"src":"b1","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b0"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.5]}}},"node_vertices":{"v2":{"data":{"type":"Z","value":"x"},"annotation":{"coord":[-7.452747408839991E-4,0.17243288559129114]}}},"undir_edges":{"e1":{"src":"b0","tgt":"v2"},"e2":{"src":"v2","tgt":"b1"}}},"derivation":"derivations/green_sp_simp"}

theorems/green_id_on_red.qrule

@@ -0,0 +1 @@
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx1":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,2.25]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v1":{"data":{"type":"X","value":"x","label":"x"},"annotation":{"coord":[0.0,0.75]}},"v0":{"data":{"type":"X","value":"","label":"y"},"annotation":{"coord":[0.0,-0.75]}}},"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.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,2.25]}}},"node_vertices":{"v2":{"data":{"type":"X","value":"x"},"annotation":{"coord":[-8.269322765165624E-4,-0.2648439933944915]}}},"undir_edges":{"e2":{"src":"b1","tgt":"v2"},"e3":{"src":"v2","tgt":"b0"}}},"derivation":"derivations/red_sp_simp"}

theorems/green_sp_simp.qrule

@@ -1 +1 @@
-{"lhs":{"bang_boxes":{"bx5":{"contents":["b2"],"parent":"bx2"},"bx0":{"contents":["b0","v0"]},"bx4":{"contents":["b1"],"parent":"bx1"},"bx3":{"contents":["b0"],"parent":"bx0"},"bx1":{"contents":["b1","v1"]},"bx2":{"contents":["b2","v2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-1.5,-3.0]}},"b0":{"annotation":{"boundary":true,"coord":[-0.25,4.75]}},"b2":{"annotation":{"boundary":true,"coord":[2.0,-2.25]}}},"node_vertices":{"v2":{"annotation":{"coord":[1.75,-1.0]}},"v5":{"data":{"type":"X","value":""},"annotation":{"coord":[1.0,0.75]}},"v1":{"annotation":{"coord":[-1.75,-1.0]}},"v4":{"data":{"type":"X","value":""},"annotation":{"coord":[-1.0,0.5]}},"v0":{"annotation":{"coord":[0.0,2.5]}}},"undir_edges":{"e6":{"src":"v1","tgt":"b1"},"e1":{"src":"v0","tgt":"v4"},"e5":{"src":"v2","tgt":"b2"},"e0":{"src":"b0","tgt":"v0"},"e4":{"src":"v5","tgt":"v2"},"e3":{"src":"v0","tgt":"v5"},"e2":{"src":"v4","tgt":"v1"}}},"rhs":{"bang_boxes":{"bx5":{"contents":["b2"],"parent":"bx2"},"bx0":{"contents":["b0","v1"]},"bx4":{"contents":["b1"],"parent":"bx1"},"bx3":{"contents":["b0"],"parent":"bx0"},"bx1":{"contents":["b1","v0"]},"bx2":{"contents":["b2","v2"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[-1.75,-2.75]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,3.0]}},"b2":{"annotation":{"boundary":true,"coord":[1.5,-2.5]}}},"node_vertices":{"v2":{"annotation":{"coord":[1.25,-1.0]}},"v1":{"annotation":{"coord":[-0.0,1.75]}},"v4":{"data":{"type":"X","value":""},"annotation":{"coord":[0.5,0.25]}},"v0":{"annotation":{"coord":[-1.5,-1.0]}},"v3":{"data":{"type":"X","value":""},"annotation":{"coord":[-0.25,-1.0]}}},"undir_edges":{"e6":{"src":"v3","tgt":"v2"},"e1":{"src":"v1","tgt":"v4"},"e5":{"src":"v0","tgt":"v3"},"e0":{"src":"b0","tgt":"v1"},"e4":{"src":"v0","tgt":"b1"},"e3":{"src":"v2","tgt":"b2"},"e2":{"src":"v4","tgt":"v2"}}}}
+{"lhs":{"bang_boxes":{"bx5":{"contents":["b2"],"parent":"bx2"},"bx0":{"contents":["b0","v6"]},"bx4":{"contents":["b1"],"parent":"bx1"},"bx3":{"contents":["b0"],"parent":"bx0"},"bx1":{"contents":["b1","v8"]},"bx2":{"contents":["b2","v10"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[2.0,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.0,-2.0]}},"b2":{"annotation":{"boundary":true,"coord":[0.0,3.0]}}},"node_vertices":{"v6":{"annotation":{"coord":[-2.0,-1.0]}},"v8":{"annotation":{"coord":[2.0,-1.0]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[-1.0,0.75]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,-1.0]}},"v10":{"annotation":{"coord":[0.0,2.25]}}},"undir_edges":{"e6":{"src":"v10","tgt":"b2"},"Eb":{"src":"v0","tgt":"v8"},"Ea":{"src":"v0","tgt":"v6"},"e5":{"src":"v8","tgt":"b1"},"Ed":{"src":"v1","tgt":"v10"},"e9":{"src":"v6","tgt":"b0"},"Ec":{"src":"v1","tgt":"v6"}}},"rhs":{"bang_boxes":{"bx5":{"contents":["b2"],"parent":"bx2"},"bx0":{"contents":["b0","v3"]},"bx4":{"contents":["b1"],"parent":"bx1"},"bx3":{"contents":["b0"],"parent":"bx0"},"bx1":{"contents":["b1","v4"]},"bx2":{"contents":["b2","v5"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[1.5,-2.0]}},"b0":{"annotation":{"boundary":true,"coord":[-2.25,-2.0]}},"b2":{"annotation":{"boundary":true,"coord":[-0.25,3.5]}}},"node_vertices":{"v5":{"annotation":{"coord":[-0.25,2.25]}},"v1":{"data":{"type":"X","value":""},"annotation":{"coord":[-1.25,0.75]}},"v4":{"annotation":{"coord":[1.5,-1.0]}},"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.75,0.75]}},"v3":{"annotation":{"coord":[-2.25,-1.0]}}},"undir_edges":{"e6":{"src":"v3","tgt":"b0"},"Eb":{"src":"v0","tgt":"v5"},"Ea":{"src":"v0","tgt":"v4"},"e8":{"src":"v4","tgt":"b1"},"Ed":{"src":"v1","tgt":"v3"},"e9":{"src":"v5","tgt":"b2"},"Ec":{"src":"v1","tgt":"v5"}}},"derivation":"derivations/rotate"}