Use IsListOrCollection instead of IsCollection in declarations

This allows installing methods for "IsList and IsEmpty", which is a list but not a collection.
gap-system · Mar 3, 2018 · 3b375f1 · 3b375f1
1 parent dc5bfbe
commit 3b375f1
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -227,7 +227,7 @@ InstallTrueMethod( IsTwoSidedIdealInParent,
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareOperation( "TwoSidedIdealByGenerators", [ IsRing, IsCollection ] );
+DeclareOperation( "TwoSidedIdealByGenerators", [ IsRing, IsListOrCollection ] );
 
 DeclareSynonym( "IdealByGenerators", TwoSidedIdealByGenerators );
 
@@ -252,7 +252,7 @@ DeclareSynonym( "IdealByGenerators", TwoSidedIdealByGenerators );
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareOperation( "LeftIdealByGenerators", [ IsRing, IsCollection ] );
+DeclareOperation( "LeftIdealByGenerators", [ IsRing, IsListOrCollection ] );
 
 
 #############################################################################
@@ -275,7 +275,7 @@ DeclareOperation( "LeftIdealByGenerators", [ IsRing, IsCollection ] );
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareOperation( "RightIdealByGenerators", [ IsRing, IsCollection ] );
+DeclareOperation( "RightIdealByGenerators", [ IsRing, IsListOrCollection ] );
 
 
 #############################################################################

diff --git a/lib/mapping.gd b/lib/mapping.gd
@@ -830,7 +830,7 @@ DeclareOperation( "ImagesRepresentative", [ IsGeneralMapping, IsObject ] );
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareOperation( "ImagesSet", [ IsGeneralMapping, IsCollection ] );
+DeclareOperation( "ImagesSet", [ IsGeneralMapping, IsListOrCollection ] );
 
 
 #############################################################################
@@ -1052,7 +1052,7 @@ DeclareOperation( "PreImagesRepresentative",
 ##  </ManSection>
 ##  <#/GAPDoc>
 ##
-DeclareOperation( "PreImagesSet", [ IsGeneralMapping, IsCollection ] );
+DeclareOperation( "PreImagesSet", [ IsGeneralMapping, IsListOrCollection ] );
 
 
 #############################################################################