FIX: If module is not central, map is defined on subset.

gap-system · Jan 29, 2021 · 5ceb087 · 5ceb087
1 parent f0d7eda
commit 5ceb087
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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);