From 261634462123c380e52f16b25dc7b09878ab0062 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 20 Jun 2024 12:01:48 +0200
Subject: [PATCH] Debug GenerateRandomKernelElementsAndOptionallyVerifyThem

---
 gap/base/kernel.gi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gap/base/kernel.gi b/gap/base/kernel.gi
index b5ad9258..bb389d21 100644
--- 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.