diff --git a/lib/grp.gd b/lib/grp.gd index 73ab1901dd..a047e33278 100644 --- a/lib/grp.gd +++ b/lib/grp.gd @@ -3542,7 +3542,7 @@ DeclareOperation( "GrowthFunctionOfGroup", ## DeclareOperation( "GroupByGenerators", [ IsCollection ] ); DeclareOperation( "GroupByGenerators", - [ IsCollection, IsMultiplicativeElementWithInverse ] ); + [ IsListOrCollection, IsMultiplicativeElementWithInverse ] ); ############################################################################# @@ -3566,7 +3566,7 @@ DeclareOperation( "GroupByGenerators", ## DeclareOperation( "GroupWithGenerators", [ IsCollection ] ); DeclareOperation( "GroupWithGenerators", - [ IsCollection, IsMultiplicativeElementWithInverse ] ); + [ IsListOrCollection, IsMultiplicativeElementWithInverse ] ); ############################################################################# diff --git a/lib/ideal.gd b/lib/ideal.gd index 324af00a7e..5071c61166 100644 --- a/lib/ideal.gd +++ b/lib/ideal.gd @@ -227,7 +227,7 @@ InstallTrueMethod( IsTwoSidedIdealInParent, ## ## <#/GAPDoc> ## -DeclareOperation( "TwoSidedIdealByGenerators", [ IsRing, IsCollection ] ); +DeclareOperation( "TwoSidedIdealByGenerators", [ IsRing, IsListOrCollection ] ); DeclareSynonym( "IdealByGenerators", TwoSidedIdealByGenerators ); @@ -252,7 +252,7 @@ DeclareSynonym( "IdealByGenerators", TwoSidedIdealByGenerators ); ## ## <#/GAPDoc> ## -DeclareOperation( "LeftIdealByGenerators", [ IsRing, IsCollection ] ); +DeclareOperation( "LeftIdealByGenerators", [ IsRing, IsListOrCollection ] ); ############################################################################# @@ -275,7 +275,7 @@ DeclareOperation( "LeftIdealByGenerators", [ IsRing, IsCollection ] ); ## ## <#/GAPDoc> ## -DeclareOperation( "RightIdealByGenerators", [ IsRing, IsCollection ] ); +DeclareOperation( "RightIdealByGenerators", [ IsRing, IsListOrCollection ] ); ############################################################################# diff --git a/lib/mapping.gd b/lib/mapping.gd index 823072f842..204be76672 100644 --- a/lib/mapping.gd +++ b/lib/mapping.gd @@ -830,7 +830,7 @@ DeclareOperation( "ImagesRepresentative", [ IsGeneralMapping, IsObject ] ); ## ## <#/GAPDoc> ## -DeclareOperation( "ImagesSet", [ IsGeneralMapping, IsCollection ] ); +DeclareOperation( "ImagesSet", [ IsGeneralMapping, IsListOrCollection ] ); ############################################################################# @@ -1052,7 +1052,7 @@ DeclareOperation( "PreImagesRepresentative", ## ## <#/GAPDoc> ## -DeclareOperation( "PreImagesSet", [ IsGeneralMapping, IsCollection ] ); +DeclareOperation( "PreImagesSet", [ IsGeneralMapping, IsListOrCollection ] ); #############################################################################