From 4cea177e98505f2711b1192462cc0aaca6e43a9c Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 26 Feb 2024 17:44:25 +0100 Subject: [PATCH] Tweak epimorphism_from_free_group (#3430) ... to ensure rank of the free group is set. --- src/Groups/sub.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Groups/sub.jl b/src/Groups/sub.jl index bc05e667d226..26e2087149ee 100644 --- 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