Add constructive recognition for SL_n

PackageInfo.g

@@ -18,7 +18,7 @@ SetPackageInfo( rec(
 
 PackageName := "recog",
 Subtitle := "A package for constructive recognition of permutation and matrix groups",
-Version := "1.4.2",
+Version := "1.4.3",
 Date := "27/09/2022", # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
@@ -268,6 +268,7 @@ Dependencies := rec(
   GAP := ">=4.11",
   NeededOtherPackages := [
     ["AtlasRep", ">= 1.4.0"],
+    ["Alnuth", ">= 3.2.1"],
     ["FactInt", ">= 1.5.2"],
     ["Forms", ">= 1.2"],
     ["genss", ">= 1.3"],

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.