From 2b0f3c76a0e036a51c31b41b0be73a049817c076 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=A1bor=20Horv=C3=A1th?= <ghorvath@science.unideb.hu>
Date: Thu, 11 Feb 2016 22:57:37 +0100
Subject: [PATCH] Replace CommutatorFactorGroup by MaximalAbelianQuotient

---
 lib/grp.gi | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/lib/grp.gi b/lib/grp.gi
index b76ce39fbc..482bdc5824 100644
--- a/lib/grp.gi
+++ b/lib/grp.gi
@@ -1018,7 +1018,7 @@ InstallMethod( FrattiniSubgroup, "generic method for nilpotent groups",
             RankFilter( IsGroup and IsNilpotentGroup )
             - RankFilter( IsGroup ),
 function(G)
-local i, abinv, indgen, p, q, gen, Gf;
+local i, abinv, indgen, p, q, gen, hom, Gf;
     if IsTrivial(G) then
       return G;
     elif IsAbelian(G) then
@@ -1034,8 +1034,10 @@ local i, abinv, indgen, p, q, gen, Gf;
         od;
         return SubgroupNC(G, gen);
     elif IsNilpotentGroup(G) then
-        Gf := CommutatorFactorGroup(G);
-        return PreImage(NaturalHomomorphism(Gf), FrattiniSubgroup(Gf));
+        hom := MaximalAbelianQuotient(G);
+        Gf := Image(hom);
+        SetIsAbelian(Gf, true);
+        return PreImage(hom, FrattiniSubgroup(Gf));
     else
         TryNextMethod();
     fi;