feat: add some assertion and comment

thofma · Nov 9, 2024 · 5fe3d49 · 5fe3d49
1 parent 39fc9cb
commit 5fe3d49
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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