From 5ceb0872bfd893606c2a94081bb7892262f1f9fe Mon Sep 17 00:00:00 2001
From: Alexander Hulpke <hulpke@math.colostate.edu>
Date: Fri, 29 Jan 2021 10:33:54 -0700
Subject: [PATCH] FIX: If module is not central, map is defined on subset.

---
 lib/autsr.gi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/autsr.gi b/lib/autsr.gi
index 1d61ec8363..66c62d40cc 100644
--- a/lib/autsr.gi
+++ b/lib/autsr.gi
@@ -98,10 +98,10 @@ local C,M,p,all,gens,sub,q,hom,fp,rels,new,pre,sel,i,free,cnt;
     # so generators new
     sub:=TrivialSubgroup(Image(nat));
     while Size(sub)<Size(Image(nat)) do
-      sub:=ClosureGroup(sub,Random(Image(nat)));
+      sub:=ClosureGroup(sub,ImagesRepresentative(nat,Random(C)));
     od;
   else
-    sub:=Image(nat);
+    sub:=Image(nat,C);
   fi;
 
   gens:=SmallGeneratingSet(sub);
@@ -111,7 +111,7 @@ local C,M,p,all,gens,sub,q,hom,fp,rels,new,pre,sel,i,free,cnt;
   cnt:=0;
   while Size(sub)<Size(M) do
     q:=Group(gens);
-    SetSize(q,Size(Image(nat)));
+    SetSize(q,Size(Image(nat,C)));
     # use `ByGenerators` to force more random relators
     hom:=IsomorphismFpGroupByGenerators(q,gens);
     fp:=Range(hom);