Tweak epimorphism_from_free_group (#3430)

... to ensure rank of the free group is set. (cherry picked from commit 4cea177)
oscar-system · Feb 27, 2024 · 633ab20 · 633ab20
1 parent 8b5f116
commit 633ab20
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Groups/sub.jl b/src/Groups/sub.jl
@@ -1003,7 +1003,7 @@ julia> G = symmetric_group(4);
 
 julia> epi = epimorphism_from_free_group(G)
 Group homomorphism
-  from free group
+  from free group of rank 2
   to Sym(4)
 
 julia> pi = G([2,4,3,1])
@@ -1018,6 +1018,7 @@ julia> map_word(w, gens(G))
 function epimorphism_from_free_group(G::GAPGroup)
   mfG = GAP.Globals.EpimorphismFromFreeGroup(G.X)
   fG = FPGroup(GAPWrap.Source(mfG))
+  GAP.Globals.RankOfFreeGroup(fG.X)  # force rank computation
   return Oscar.GAPGroupHomomorphism(fG, G, mfG)
 end