feat: add some assertion and comment (#1679)

thofma · Nov 9, 2024 · b085401 · b085401
1 parent e526417
commit b085401
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