Merge pull request #513 from wilfwilson/fix-508-eq-for-sgp-ideal

Add an IsFinite filter to a method for \= for a semigroup and an ideal
semigroups · Sep 10, 2018 · 439dc62 · 439dc62
2 parents 02958b3 + e50edb0
commit 439dc62
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gap/ideals/ideals.gi b/gap/ideals/ideals.gi
@@ -161,9 +161,9 @@ function(I, J)
     and ForAll(GeneratorsOfSemigroup(J), x -> x in I);
 end);
 
-InstallMethod(\=, "for a semigroup ideal and semigroup with generators",
+InstallMethod(\=, "for a semigroup ideal and finite semigroup with generators",
 [IsSemigroupIdeal and HasGeneratorsOfSemigroupIdeal,
- IsSemigroup and HasGeneratorsOfSemigroup],
+ IsSemigroup and HasGeneratorsOfSemigroup and IsFinite],
 function(I, S)
   if ForAll(GeneratorsOfSemigroup(S), x -> x in I) then
     if S = Parent(I) then