Update semicons.xml and semicons.gi files

semigroups · Mar 15, 2024 · fa9344f · fa9344f
1 parent c583ad6
commit fa9344f
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 6 deletions.
diff --git a/doc/semicons.xml b/doc/semicons.xml
@@ -191,11 +191,12 @@ true]]></Example>
 
       <Example><![CDATA[
 gap> S := FreeSemilattice(IsTransformationSemigroup, 5);
-<transformation semigroup of size 31, degree 6 with 5 generators>
+<inverse transformation semigroup of size 31, degree 6 with 5 
+ generators>
 gap> T := FreeSemilattice(IsPartialPermSemigroup, 3);
-<partial perm semigroup of size 7, rank 3 with 3 generators>
+<inverse partial perm semigroup of size 7, rank 3 with 3 generators>
 gap> U := FreeSemilattice(IsBooleanMatSemigroup, 4);
-<semigroup of size 15, 5x5 boolean matrices with 4 generators>
+<inverse semigroup of size 15, 5x5 boolean matrices with 4 generators>
 ]]></Example>
     </Description>
   </ManSection>

diff --git a/gap/semigroups/semicons.gi b/gap/semigroups/semicons.gi
@@ -428,14 +428,14 @@ function(arg...)
   fi;
 
   S := FreeSemilatticeCons(filter, n);
-  
+
   if "IsMagmaWithOne" in NamesFilter(filter) then
     SetSize(S, 2 ^ n);
   else
     SetSize(S, 2 ^ n - 1);
   fi;
 
-  # SetIsSemilattice(S, true);
+  SetIsSemilattice(S, true);
 
   return S;
 end);

diff --git a/tst/standard/semigroups/semicons.tst b/tst/standard/semigroups/semicons.tst
@@ -525,7 +525,8 @@ gap> S := FreeSemilattice(2);
 gap> S := FreeSemilattice(5);
 <inverse transformation semigroup of size 31, degree 6 with 5 generators>
 gap> S := FreeSemilattice(21);
-<inverse transformation semigroup of size 2097151, degree 22 with 21 generators>
+<inverse transformation semigroup of size 2097151, degree 22 with 21 
+ generators>
 
 # constructions: FreeSemilattice: transformation semigroup
 gap> S := FreeSemilattice(IsTransformationSemigroup, 1);