chore: Update to zixy 0.4

pyproject.toml

@@ -31,7 +31,7 @@ dependencies = [
     "hugr>=0.18.6",
     "tket>=0.15.8",
     "tket-exts>=0.14.0",
-    "zixy~=0.3.2",
+    "zixy~=0.4.0",
     "selene-sim>=0.3.0",
 ]
 

src/guppyft/code_def.py

@@ -59,7 +59,7 @@ def y_logicals(self) -> pauli.SignTerms:
             # ComplexSign(k) ~ i^k
             # y_logicals[j] = i * (x_logicals[j] * z_logicals[j])
             # y_term will always have a real (+/-)1 coefficient.
-            y_term = ComplexSign(1) * (self.x_logicals[j] * self.z_logicals[j])
+            y_term = ComplexSign(1) * (self.x_logicals[j] * self.z_logicals[j])  # type: ignore[operator]
             terms.append(y_term)
         return terms.into(pauli.SignTerms)
 

src/guppyft/verify/_state_gen.py

@@ -5,7 +5,6 @@
 from guppylang.defs import GuppyFunctionDefinition
 from guppylang.std.builtins import array, comptime
 from guppylang.std.quantum import cz, h, qubit, sdg, z
-from zixy._zixy import SymplecticPart
 from zixy.qubit import pauli
 from zixy.qubit.clifford import GateList
 
@@ -102,7 +101,7 @@ def convert_to_graph_state(tableau: pauli.SignTerms) -> list[SQClifford]:
 
     # Try to solve for X/Y everywhere
     tableau.canonicalize(
-        mode_order=[(q, SymplecticPart.X) for q in all_q],
+        mode_order=[(q, pauli.SymplecticPart.X) for q in all_q],
         to_solve=all_q,
         additional_reduces=[],
     )
@@ -128,7 +127,7 @@ def convert_to_graph_state(tableau: pauli.SignTerms) -> list[SQClifford]:
 
     # Solve for X/Y everywhere. Now it is guaranteed to solve for all qubits.
     tableau.canonicalize(
-        mode_order=[(q, SymplecticPart.X) for q in all_q],
+        mode_order=[(q, pauli.SymplecticPart.X) for q in all_q],
         to_solve=all_q,
         additional_reduces=[],
     )