tweak

axioms/gen_bialg_simp.qrule

@@ -1 +1 @@
-{"lhs":{"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx2":{"contents":["b1","v1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,4.0]}},"b1":{"annotation":{"boundary":true,"coord":[-0.0,-3.0]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,2.75]}},"v1":{"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"]},"bx2":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.25,-3.0]}},"b0":{"annotation":{"boundary":true,"coord":[0.25,4.0]}}},"node_vertices":{"v3":{"data":{"type":"X","value":""},"annotation":{"coord":[0.25,0.25]}},"v2":{"annotation":{"coord":[0.25,1.25]}}},"undir_edges":{"e3":{"src":"v2","tgt":"b0"},"e4":{"src":"v3","tgt":"b1"},"e2":{"src":"v2","tgt":"v3"}}}}
+{"lhs":{"bang_boxes":{"bx0":{"contents":["b0","v0"]},"bx2":{"contents":["b1","v1"]}},"wire_vertices":{"b0":{"annotation":{"boundary":true,"coord":[0.0,2.5]}},"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.5]}}},"node_vertices":{"v0":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,1.25]}},"v1":{"annotation":{"coord":[0.0,-1.25]}}},"undir_edges":{"e0":{"src":"b0","tgt":"v0"},"e1":{"src":"v0","tgt":"v1"},"e2":{"src":"v1","tgt":"b1"}}},"rhs":{"bang_boxes":{"bx0":{"contents":["b0"]},"bx2":{"contents":["b1"]}},"wire_vertices":{"b1":{"annotation":{"boundary":true,"coord":[0.0,-2.25]}},"b0":{"annotation":{"boundary":true,"coord":[0.0,2.0]}}},"node_vertices":{"v3":{"data":{"type":"X","value":""},"annotation":{"coord":[0.0,-0.5]}},"v2":{"annotation":{"coord":[0.0,0.5]}}},"undir_edges":{"e3":{"src":"v2","tgt":"b0"},"e4":{"src":"v3","tgt":"b1"},"e2":{"src":"v2","tgt":"v3"}}}}