Swap X and Z case

In the ZX calculus, Z always comes first.
homalg-project · Sep 28, 2023 · abe8385 · abe8385
1 parent c83621f
commit abe8385
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/gap/Tools.gi b/gap/Tools.gi
@@ -26,15 +26,15 @@ if IsPackageMarkedForLoading( "json", "2.1.1" ) then
 
         for pos in [ 1 .. Length( labels ) ] do
 
-            if labels[pos] = "X" then
+            if labels[pos] = "Z" then
 
                 node_vertices.(pos - 1) := rec( annotation := rec( coord := [ 0, 0 ] ),
-                                                data := rec( type := "X" ) );
+                                                data := rec( type := "Z" ) );
 
-            elif labels[pos] = "Z" then
+            elif labels[pos] = "X" then
 
                 node_vertices.(pos - 1) := rec( annotation := rec( coord := [ 0, 0 ] ),
-                                                data := rec( type := "Z" ) );
+                                                data := rec( type := "X" ) );
 
             elif labels[pos] = "H" then