Make IsomorphismFpMonoid an attribute of semigroups

A semigroup can be isomorphic to a monoid, while not being a monoid in the technical GAP sense. For example, the semigroup generated by Transformation([1, 2, 3, 3, 3]) is not a monoid in the GAP sense but is mathematically. With this change we could now install methods for IsomorphismFpMonoid for such a semigroup.
gap-system · Jan 3, 2017 · 7bdb207 · 7bdb207
1 parent 845625c
commit 7bdb207
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/fpmon.gd b/lib/fpmon.gd
@@ -213,7 +213,8 @@ DeclareAttribute("RelationsOfFpMonoid",IsFpMonoid);
 ##  </Description>
 ##  </ManSection>
 ##
-DeclareAttribute("IsomorphismFpMonoid",IsMonoid);
+
+DeclareAttribute("IsomorphismFpMonoid",IsSemigroup);
 
 ############################################################################
 ##