diff --git a/lib/gprd.gd b/lib/gprd.gd index b2bc91a1b4..6fb5c5d8bb 100644 --- a/lib/gprd.gd +++ b/lib/gprd.gd @@ -83,7 +83,7 @@ ## <#/GAPDoc> ## DeclareGlobalFunction( "DirectProduct" ); -DeclareOperation( "DirectProductOp", [ IsList, IsGroup ] ); +DeclareOperation( "DirectProductOp", [ IsList, IsSemigroup ] ); ############################################################################# ## diff --git a/lib/grp.gd b/lib/grp.gd index 8e4f17ec82..64e614e2d9 100644 --- a/lib/grp.gd +++ b/lib/grp.gd @@ -2150,7 +2150,7 @@ DeclareAttribute( "LargestElementGroup", IsGroup ); ## </ManSection> ## <#/GAPDoc> ## -DeclareAttribute( "MinimalGeneratingSet", IsGroup ); +DeclareAttribute( "MinimalGeneratingSet", IsSemigroup ); ############################################################################# @@ -2175,7 +2175,7 @@ DeclareAttribute( "MinimalGeneratingSet", IsGroup ); ## </ManSection> ## <#/GAPDoc> ## -DeclareAttribute( "SmallGeneratingSet", IsGroup ); +DeclareAttribute( "SmallGeneratingSet", IsSemigroup ); #############################################################################