Debug GenerateRandomKernelElementsAndOptionallyVerifyThem

gap-packages · Jun 20, 2024 · 2616344 · 2616344
1 parent bbb4f70
commit 2616344
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gap/base/kernel.gi b/gap/base/kernel.gi
@@ -36,7 +36,10 @@ BindGlobal( "GenerateRandomKernelElementsAndOptionallyVerifyThem",
     verificationSuccess := true;
     # We generate a random element of the kernel as the quotient of a random
     # element and the preimage of its image under the homomorphism.
+    Info(InfoRecog,3, "GenerateRandomKernelElementsAndOptionallyVerifyThem, n = ", n);
+
     for i in [1 .. n] do
+        Info(InfoRecog,3, "GenerateRandomKernelElementsAndOptionallyVerifyThem: ", i, " / ", n);
         # Finding kernel generators and immediate verification must use
         # different random elements! This is ensured by using the same stamp
         # in both situations.