From b085401e58e5b52bcb26240c22d4904e58a5600e Mon Sep 17 00:00:00 2001 From: Tommy Hofmann Date: Sat, 9 Nov 2024 23:09:50 +0100 Subject: [PATCH] feat: add some assertion and comment (#1679) --- 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