diff --git a/lib/grpfp.gi b/lib/grpfp.gi index 8ac226a671..583668fa48 100644 --- a/lib/grpfp.gi +++ b/lib/grpfp.gi @@ -5729,4 +5729,4 @@ InstallMethod( IndependentGeneratorsOfAbelianGroup, [ IsFpGroup and IsAbelian ], IndependentGeneratorsOfMaximalAbelianQuotientOfFpGroup ); -BindGlobal("TRIVIAL_FP_GROUP",FreeGroup(0,"TrivGp")/[]); +BindGlobal( "TRIVIAL_FP_GROUP", FreeGroup(0) / [] ); diff --git a/lib/grpfree.gi b/lib/grpfree.gi index 0d26087406..4ef4f419e2 100644 --- a/lib/grpfree.gi +++ b/lib/grpfree.gi @@ -591,7 +591,9 @@ InstallMethod( ViewObj, [ IsFreeGroup ], function(G) if IsGroupOfFamily(G) then - if Length(GeneratorsOfGroup(G)) > GAPInfo.ViewLength * 10 then + if IsEmpty(GeneratorsOfGroup(G)) then + Print(""); + elif Length(GeneratorsOfGroup(G)) > GAPInfo.ViewLength * 10 then Print(""); else Print(""); diff --git a/lib/monofree.gi b/lib/monofree.gi index 05bca57775..281efcc4c6 100644 --- a/lib/monofree.gi +++ b/lib/monofree.gi @@ -284,7 +284,9 @@ InstallMethod( ViewObj, "for a free monoid containing the whole family", [ IsMonoid and IsAssocWordCollection and IsWholeFamily ], function( M ) - if GAPInfo.ViewLength * 10 < Length( GeneratorsOfMagmaWithOne( M ) ) then + if IsEmpty( GeneratorsOfMagmaWithOne( M ) ) then + Print( "" ); + elif GAPInfo.ViewLength * 10 < Length( GeneratorsOfMagmaWithOne( M ) ) then Print( "" ); else