diff --git a/lib/grp.gi b/lib/grp.gi index 63130d00d1..2c4aba1d09 100644 --- a/lib/grp.gi +++ b/lib/grp.gi @@ -4401,6 +4401,13 @@ InstallMethod( GroupWithGenerators, function( gens ) local G,typ; + if IsGroup(gens) then + Info( InfoPerformance, 1, + "Calling `GroupWithGenerators' on a group usually is very inefficient."); + Info( InfoPerformance, 1, + "Use the list of generators of the group instead."); + fi; + gens:=AsList(gens); typ:=MakeGroupyType(FamilyObj(gens), IsGroup and IsAttributeStoringRep @@ -4419,6 +4426,13 @@ InstallMethod( GroupWithGenerators, function( gens, id ) local G,typ; + if IsGroup(gens) then + Info( InfoPerformance, 1, + "Calling `GroupWithGenerators' on a group usually is very inefficient."); + Info( InfoPerformance, 1, + "Use the list of generators of the group instead."); + fi; + gens:=AsList(gens); typ:=MakeGroupyType(FamilyObj(gens), IsGroup and IsAttributeStoringRep