From 5fe3d49e52b33641eea6246fed5cc6c41d2a02b4 Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Sat, 9 Nov 2024 20:17:16 +0100
Subject: [PATCH] feat: add some assertion and comment

---
 src/AlgAssAbsOrd/PIP/unit_group_generators.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/AlgAssAbsOrd/PIP/unit_group_generators.jl b/src/AlgAssAbsOrd/PIP/unit_group_generators.jl
index bc9b052783..52a42598b0 100644
--- a/src/AlgAssAbsOrd/PIP/unit_group_generators.jl
+++ b/src/AlgAssAbsOrd/PIP/unit_group_generators.jl
@@ -133,6 +133,10 @@ function _SLn_generators(OK, n)
       end
     end
 
+    # The generating set must contain 1
+    # Make sure that this holds
+    @assert one(OK) in B
+
     for i in 1:n
       for j in 1:n
         if j == i