From f1f15a6e07e210c2ab7d457261833661adedf39c Mon Sep 17 00:00:00 2001
From: Razin Shaikh <razinshaikh@outlook.com>
Date: Fri, 2 Aug 2024 10:32:37 +0100
Subject: [PATCH] enable inverse bialgebra added in pyzx
 https://github.com/zxcalc/pyzx/pull/261

---
 zxlive/rewrite_data.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zxlive/rewrite_data.py b/zxlive/rewrite_data.py
index fcbc811..57b7ac4 100644
--- a/zxlive/rewrite_data.py
+++ b/zxlive/rewrite_data.py
@@ -277,7 +277,7 @@ def ocm_rule(_graph: GraphT, _matches: list) -> pyzx.rules.RewriteOutputType[VT,
     },
 }
 
-rules_basic = {"spider", "to_z", "to_x", "rem_id", "copy", "pauli", "bialgebra", "euler"}
+rules_basic = {"spider", "to_z", "to_x", "rem_id", "copy", "pauli", "bialgebra", "bialgebra_op", "euler"}
 operations["pauli"]["picture"] = "push_pauli.png"
 operations["copy"]["picture"] = "copy_pi.png"
 operations["bialgebra"]["picture"] = "bialgebra.png"