conglatt: improve congruence lattice code

semigroups · Mar 16, 2023 · 5072f41 · 5072f41
1 parent 98ed44e
commit 5072f41
Show file tree

Hide file tree

Showing 24 changed files with 1,100 additions and 422 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,11 +1,12 @@
+/Makefile
 /aclocal.m4
 /autom4te.cache/
 /bin/
 /config.guess
+/config.log
 /config.status
 /config.sub
 /configure
-/doc/_*.xml
 /doc/*.aux
 /doc/*.bbl
 /doc/*.blg
@@ -24,6 +25,7 @@
 /doc/*.toc
 /doc/*.txt
 /doc/*.xml.bib
+/doc/_*.xml
 /doc/main.xml
 /doc/manual.lab
 /doc/manual.six
@@ -32,6 +34,5 @@
 /gen/
 /gh-pages/
 /libsemigroups/
-/Makefile
 /src/pkgconfig.h.in
 /src/semigroups-config.hpp
diff --git a/Makefile.in b/Makefile.in
@@ -16,6 +16,7 @@ SYS_IS_CYGWIN = @SYS_IS_CYGWIN@
 # sources
 KEXT_SOURCES =  src/bipart.cpp
 KEXT_SOURCES += src/cong.cpp
+KEXT_SOURCES += src/conglatt.cpp
 KEXT_SOURCES += src/froidure-pin-base.cpp
 KEXT_SOURCES += src/froidure-pin-bipart.cpp
 KEXT_SOURCES += src/froidure-pin-bmat.cpp

diff --git a/doc/cong.xml b/doc/cong.xml
@@ -333,8 +333,9 @@ gap> congs[pos];
 gap> S := Semigroup(Transformation([1, 3, 2]),
 >                   Transformation([3, 1, 3]));;
 gap> min := MinimalCongruencesOfSemigroup(S);
-[ <2-sided semigroup congruence over <transformation semigroup of 
-     degree 3 with 2 generators> with 1 generating pairs> ]
+[ <2-sided semigroup congruence over <transformation semigroup 
+     of size 13, degree 3 with 2 generators> with 1 generating pairs> 
+ ]
 gap> minl := MinimalLeftCongruencesOfSemigroup(S);
 [ <left semigroup congruence over <transformation semigroup 
      of size 13, degree 3 with 2 generators> with 1 generating pairs>,
@@ -391,16 +392,17 @@ gap> minl := MinimalLeftCongruencesOfSemigroup(S);
 gap> S := Semigroup(Transformation([1, 3, 2]),
 >                   Transformation([3, 1, 3]));;
 gap> congs := PrincipalCongruencesOfSemigroup(S);
-[ <2-sided semigroup congruence over <transformation semigroup of 
-     degree 3 with 2 generators> with 1 generating pairs>, 
-  <2-sided semigroup congruence over <transformation semigroup of 
-     degree 3 with 2 generators> with 1 generating pairs>, 
-  <2-sided semigroup congruence over <transformation semigroup of 
-     degree 3 with 2 generators> with 1 generating pairs>, 
-  <2-sided semigroup congruence over <transformation semigroup of 
-     degree 3 with 2 generators> with 1 generating pairs>, 
-  <2-sided semigroup congruence over <transformation semigroup of 
-     degree 3 with 2 generators> with 1 generating pairs> ]
+[ <universal semigroup congruence over <transformation semigroup 
+     of size 13, degree 3 with 2 generators>>, 
+  <2-sided semigroup congruence over <transformation semigroup 
+     of size 13, degree 3 with 2 generators> with 1 generating pairs>,
+  <2-sided semigroup congruence over <transformation semigroup 
+     of size 13, degree 3 with 2 generators> with 1 generating pairs>,
+  <2-sided semigroup congruence over <transformation semigroup 
+     of size 13, degree 3 with 2 generators> with 1 generating pairs>,
+  <2-sided semigroup congruence over <transformation semigroup 
+     of size 13, degree 3 with 2 generators> with 1 generating pairs> 
+ ]
 ]]></Example>
     </Description>
   </ManSection>