From 1b787c47377d73a0519f60cc77657b2b09577b49 Mon Sep 17 00:00:00 2001 From: Pete Shadbolt Date: Tue, 24 May 2016 15:28:26 +0100 Subject: [PATCH] Think I got it --- abp/graphstate.py | 2 +- debug_anders.txt | 381 ---------------------------------------------- debug_pete.txt | 364 ------------------------------------------- 3 files changed, 1 insertion(+), 746 deletions(-) delete mode 100644 debug_anders.txt delete mode 100644 debug_pete.txt diff --git a/abp/graphstate.py b/abp/graphstate.py index 782640c..a09eec3 100644 --- a/abp/graphstate.py +++ b/abp/graphstate.py @@ -134,7 +134,7 @@ class GraphState(object): ci = self.get_connection_info(a, b) if ci["non1"] and not clifford.is_diagonal(self.node[a]["vop"]): debug("cphase: left one needs treatment again -> putting it to Id") - self.remove_vop(b, a) + self.remove_vop(a, b) self.cz_with_table(a, b) diff --git a/debug_anders.txt b/debug_anders.txt deleted file mode 100644 index 6c9a80d..0000000 --- a/debug_anders.txt +++ /dev/null @@ -1,381 +0,0 @@ -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 1 and 2 -Vertex 1: VOp YC, neighbors -Vertex 2: VOp YC, neighbors -cphase_with_table called on: -Vertex 1: VOp YC, neighbors -Vertex 2: VOp YC, neighbors -deling edge 1 - 2 -deling edge -cphase_with_table: after: -Vertex 1: VOp YC, neighbors -Vertex 2: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp YC, neighbors -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors -adding edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 -before cphase between 1 and 2 -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp IA, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 -U ->Inverting about Vertex 1: VOp XA, neighbors 0 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp IA, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -adding edge -cphase_with_table: after: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp IA, neighbors 1 -before cphase between 1 and 2 -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -Vertex 0: VOp IA, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 2 -U ->Inverting about Vertex 1: VOp XA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 2 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -Vertex 0: VOp IA, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -adding edge -cphase_with_table: after: -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -before cphase between 1 and 2 -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -Vertex 0: VOp IA, neighbors 1 -using V -V ->Inverting about Vertex 0: VOp IA, neighbors 1 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -Vertex 0: VOp YD, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -adding edge -cphase_with_table: after: -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -before cphase between 1 and 2 -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -Vertex 0: VOp YD, neighbors 1 -using V -V ->Inverting about Vertex 0: VOp YD, neighbors 1 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -Vertex 0: VOp XA, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -adding edge -cphase_with_table: after: -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp IF, neighbors 1 -before cphase between 0 and 1 -Vertex 0: VOp XA, neighbors 1 -Vertex 1: VOp XB, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp XB, neighbors 0 2 -Vertex 0: VOp XA, neighbors 1 -Vertex 2: VOp IF, neighbors 1 -using V -V ->Inverting about Vertex 2: VOp IF, neighbors 1 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp XA, neighbors 1 -Vertex 2: VOp YC, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp XA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp ZA, neighbors 2 -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp ZA, neighbors 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp ZA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp IA, neighbors 1 -using VV -V ->Inverting about Vertex 2: VOp IA, neighbors 1 -V ->Inverting about Vertex 2: VOp YD, neighbors 1 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp XA, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -adding edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp IA, neighbors 1 -Vertex 2: VOp ZC, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 2 -U ->Inverting about Vertex 1: VOp XA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 2 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp IA, neighbors 1 -Vertex 2: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp ZC, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 2 -U ->Inverting about Vertex 1: VOp XA, neighbors 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 2 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -adding edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp YC, neighbors 1 -Vertex 2: VOp XA, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 2 -U ->Inverting about Vertex 1: VOp XA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 2 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp YC, neighbors 1 -Vertex 2: VOp XA, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp YC, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -adding edge -cphase_with_table: after: -Vertex 0: VOp IF, neighbors 1 -Vertex 1: VOp YB, neighbors 0 2 -before cphase between 1 and 2 -Vertex 1: VOp YB, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp YB, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -Vertex 0: VOp IF, neighbors 1 -using VVV -V ->Inverting about Vertex 0: VOp IF, neighbors 1 -V ->Inverting about Vertex 0: VOp YC, neighbors 1 -V ->Inverting about Vertex 0: VOp XF, neighbors 1 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -Vertex 0: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -deling edge 1 - 2 -deling edge -cphase_with_table: after: -Vertex 1: VOp ZA, neighbors 0 -Vertex 2: VOp IA, neighbors -before cphase between 0 and 1 -Vertex 0: VOp ZC, neighbors 1 -Vertex 1: VOp ZA, neighbors 0 -cphase_with_table called on: -Vertex 0: VOp ZC, neighbors 1 -Vertex 1: VOp ZA, neighbors 0 -adding edge -cphase_with_table: after: -Vertex 0: VOp IF, neighbors 1 -Vertex 1: VOp YB, neighbors 0 -before cphase between 1 and 2 -Vertex 1: VOp YB, neighbors 0 -Vertex 2: VOp IA, neighbors -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp YB, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp IF, neighbors 1 -using VVV -V ->Inverting about Vertex 0: VOp IF, neighbors 1 -V ->Inverting about Vertex 0: VOp YC, neighbors 1 -V ->Inverting about Vertex 0: VOp XF, neighbors 1 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -adding edge -cphase_with_table: after: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp IA, neighbors 1 -before cphase between 0 and 1 -Vertex 0: VOp ZC, neighbors 1 -Vertex 1: VOp YC, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp YC, neighbors 0 2 -Vertex 0: VOp ZC, neighbors 1 -Vertex 2: VOp IA, neighbors 1 -using UVVVU -U ->Inverting about Vertex 1: VOp YC, neighbors 0 2 -V ->Inverting about Vertex 2: VOp YB, neighbors 0 1 -V ->Inverting about Vertex 2: VOp XE, neighbors 0 1 -V ->Inverting about Vertex 2: VOp ZB, neighbors 0 1 -U ->Inverting about Vertex 1: VOp ZD, neighbors 2 -remove_byprod_op, after: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp ZC, neighbors 2 -Vertex 2: VOp YC, neighbors 0 1 -cphase: left one needs treatment again -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 0: VOp ZC, neighbors 2 -Vertex 1: VOp IA, neighbors 2 -Vertex 2: VOp YC, neighbors 0 1 -using UUUVU -U ->Inverting about Vertex 0: VOp ZC, neighbors 2 -V ->Inverting about Vertex 2: VOp ZE, neighbors 0 1 -U ->Inverting about Vertex 0: VOp YD, neighbors 1 2 -U ->Inverting about Vertex 0: VOp XA, neighbors 1 2 -U ->Inverting about Vertex 0: VOp ZD, neighbors 1 2 -remove_byprod_op, after: (v, avoid, vb): -Vertex 0: VOp IA, neighbors 1 2 -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp XA, neighbors 0 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors 1 2 -Vertex 1: VOp IA, neighbors 0 -deling edge 0 - 1 -deling edge -cphase_with_table: after: -Vertex 0: VOp IA, neighbors 2 -Vertex 1: VOp IA, neighbors diff --git a/debug_pete.txt b/debug_pete.txt deleted file mode 100644 index 9999cbb..0000000 --- a/debug_pete.txt +++ /dev/null @@ -1,364 +0,0 @@ -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table: after -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table: after -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table: after -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table: after -Vertex 0: VOp YC, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 1 and 2 -Vertex 1: VOp YC, neighbors -Vertex 2: VOp YC, neighbors -cphase_with_table called on: -Vertex 1: VOp YC, neighbors -Vertex 2: VOp YC, neighbors -cphase_with_table: after -Vertex 1: VOp YC, neighbors -Vertex 2: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp YC, neighbors -cphase_with_table: after -Vertex 0: VOp IA, neighbors -Vertex 1: VOp YC, neighbors -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors -cphase_with_table: after -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 -before cphase between 1 and 2 -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp IA, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 -U ->Inverting about Vertex 1: VOp XA, neighbors 0 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp IA, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -cphase_with_table: after -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp IA, neighbors 1 -before cphase between 1 and 2 -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -Vertex 0: VOp IA, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 2 -deling edge -U ->Inverting about Vertex 1: VOp XA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 2 -deling edge -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -Vertex 0: VOp IA, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp YC, neighbors 1 -cphase_with_table: after -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -before cphase between 1 and 2 -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -Vertex 0: VOp IA, neighbors 1 -using V -V ->Inverting about Vertex 0: VOp IA, neighbors 1 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -Vertex 0: VOp YD, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XF, neighbors 1 -cphase_with_table: after -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -before cphase between 1 and 2 -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -Vertex 0: VOp YD, neighbors 1 -using V -V ->Inverting about Vertex 0: VOp YD, neighbors 1 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -Vertex 0: VOp XA, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp ZC, neighbors 1 -cphase_with_table: after -Vertex 1: VOp XB, neighbors 0 2 -Vertex 2: VOp IF, neighbors 1 -before cphase between 0 and 1 -Vertex 0: VOp XA, neighbors 1 -Vertex 1: VOp XB, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp XB, neighbors 0 2 -Vertex 0: VOp XA, neighbors 1 -Vertex 2: VOp IF, neighbors 1 -using V -V ->Inverting about Vertex 2: VOp IF, neighbors 1 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp XA, neighbors 1 -Vertex 2: VOp YC, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp XA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -deling edge -cphase_with_table: after -Vertex 0: VOp IA, neighbors -Vertex 1: VOp ZA, neighbors 2 -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp ZA, neighbors 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp ZA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp IA, neighbors 1 -using VV -V ->Inverting about Vertex 2: VOp IA, neighbors 1 -V ->Inverting about Vertex 2: VOp YD, neighbors 1 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp XA, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -cphase_with_table: after -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp IA, neighbors 1 -Vertex 2: VOp ZC, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 2 -deling edge -U ->Inverting about Vertex 1: VOp XA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 2 -deling edge -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp IA, neighbors 1 -Vertex 2: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -deling edge -cphase_with_table: after -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -before cphase between 0 and 1 -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp ZC, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 2 -U ->Inverting about Vertex 1: VOp XA, neighbors 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 2 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp IA, neighbors -Vertex 2: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp IA, neighbors -Vertex 1: VOp IA, neighbors 2 -cphase_with_table: after -Vertex 0: VOp IA, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -before cphase between 0 and 1 -Vertex 0: VOp YC, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp YC, neighbors 1 -Vertex 2: VOp XA, neighbors 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 0 2 -deling edge -U ->Inverting about Vertex 1: VOp XA, neighbors 0 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 0 2 -deling edge -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 0: VOp YC, neighbors 1 -Vertex 2: VOp XA, neighbors 1 -cphase_with_table called on: -Vertex 0: VOp YC, neighbors 1 -Vertex 1: VOp IA, neighbors 0 2 -cphase_with_table: after -Vertex 0: VOp IF, neighbors 1 -Vertex 1: VOp YB, neighbors 0 2 -before cphase between 1 and 2 -Vertex 1: VOp YB, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp YB, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -Vertex 0: VOp IF, neighbors 1 -using VVV -V ->Inverting about Vertex 0: VOp IF, neighbors 1 -V ->Inverting about Vertex 0: VOp YC, neighbors 1 -V ->Inverting about Vertex 0: VOp XF, neighbors 1 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -Vertex 0: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp XA, neighbors 1 -deling edge -cphase_with_table: after -Vertex 1: VOp ZA, neighbors 0 -Vertex 2: VOp IA, neighbors -before cphase between 0 and 1 -Vertex 0: VOp ZC, neighbors 1 -Vertex 1: VOp ZA, neighbors 0 -cphase_with_table called on: -Vertex 0: VOp ZC, neighbors 1 -Vertex 1: VOp ZA, neighbors 0 -cphase_with_table: after -Vertex 0: VOp IF, neighbors 1 -Vertex 1: VOp YB, neighbors 0 -before cphase between 1 and 2 -Vertex 1: VOp YB, neighbors 0 -Vertex 2: VOp IA, neighbors -cphase: left vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp YB, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp IF, neighbors 1 -using VVV -V ->Inverting about Vertex 0: VOp IF, neighbors 1 -V ->Inverting about Vertex 0: VOp YC, neighbors 1 -V ->Inverting about Vertex 0: VOp XF, neighbors 1 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -Vertex 0: VOp ZC, neighbors 1 -cphase_with_table called on: -Vertex 1: VOp IA, neighbors 0 -Vertex 2: VOp IA, neighbors -cphase_with_table: after -Vertex 1: VOp IA, neighbors 0 2 -Vertex 2: VOp IA, neighbors 1 -before cphase between 0 and 1 -Vertex 0: VOp ZC, neighbors 1 -Vertex 1: VOp YC, neighbors 0 2 -cphase: right vertex has NONs -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp YC, neighbors 0 2 -Vertex 0: VOp ZC, neighbors 1 -Vertex 2: VOp IA, neighbors 1 -using UVVVU -U ->Inverting about Vertex 1: VOp YC, neighbors 0 2 -V ->Inverting about Vertex 2: VOp YB, neighbors 0 1 -deling edge -V ->Inverting about Vertex 2: VOp XE, neighbors 0 1 -V ->Inverting about Vertex 2: VOp ZB, neighbors 0 1 -deling edge -U ->Inverting about Vertex 1: VOp ZD, neighbors 2 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp ZC, neighbors 2 -Vertex 2: VOp YC, neighbors 0 1 -cphase: left one needs treatment again -> putting it to Id -remove_byprod_op called: (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp ZC, neighbors 2 -Vertex 2: VOp YC, neighbors 0 1 -using UUUU -U ->Inverting about Vertex 1: VOp IA, neighbors 2 -U ->Inverting about Vertex 1: VOp YD, neighbors 2 -U ->Inverting about Vertex 1: VOp XA, neighbors 2 -U ->Inverting about Vertex 1: VOp ZD, neighbors 2 -remove_byprod_op: after (v, avoid, vb): -Vertex 1: VOp IA, neighbors 2 -Vertex 0: VOp ZC, neighbors 2 -Vertex 2: VOp YC, neighbors 0 1 -cphase_with_table called on: -Vertex 0: VOp ZC, neighbors 2 -Vertex 1: VOp IA, neighbors 2 -{'was_edge': False, 'non1': True, 'non2': True} -11 -0 -cphase_with_table: after -Vertex 0: VOp YC, neighbors 2 -Vertex 1: VOp IA, neighbors 2