semigrp.gi: add One to GeneratorsOfMagma if needed

Resolves semigroups#371
wilfwilson · Sep 13, 2017 · 49e484f · 49e484f
1 parent 8aefc38
commit 49e484f
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/gap/semigroups/semigrp.gi b/gap/semigroups/semigrp.gi
@@ -277,7 +277,7 @@ function(gens, opts)
 
   S := Objectify(NewType(FamilyObj(gens), filts), rec(opts := opts));
 
-  if CanEasilyCompareElements(gens) and not One(gens) in gens then
+  if not CanEasilyCompareElements(gens) or not One(gens) in gens then
     SetGeneratorsOfMagma(S, Concatenation([One(gens)], gens));
   else
     SetGeneratorsOfMagma(S, AsList(gens));

diff --git a/tst/testinstall.tst b/tst/testinstall.tst
@@ -1656,6 +1656,17 @@ gap> S := SingularFactorisableDualSymmetricInverseMonoid(3);
 gap> IsMonoidAsSemigroup(S);
 false
 
+#T# Issue 371: GeneratorsOfSemigroup for a monoid
+gap> R := ReesMatrixSemigroup(Group(()), [[()]]);;
+gap> S := MonoidByAdjoiningIdentity(R);
+<commutative monoid with 1 generator>
+gap> GeneratorsOfSemigroup(S);
+[ ONE, (1,(),1) ]
+gap> Size(S);
+2
+gap> Elements(S);
+[ ONE, (1,(),1) ]
+
 #T# SEMIGROUPS_UnbindVariables
 gap> Unbind(B);
 gap> Unbind(D);