Update to use libsemigroups v3

.LIBSEMIGROUPS_VERSION

@@ -1 +1 @@
-2.7.4
+3.4.0

.gitignore

@@ -39,3 +39,6 @@
 /src/pkgconfig.h.in
 /src/semigroups-config.hpp
 test-output.w
+tags
+*.in~
+configure~

GNUmakefile.in

@@ -3,7 +3,7 @@
 #
 KEXT_NAME = semigroups
 
-KEXT_CXXFLAGS = @LIBSEMIGROUPS_CFLAGS@ -std=gnu++14 -O3
+KEXT_CXXFLAGS = @LIBSEMIGROUPS_CFLAGS@ -std=gnu++17 -O3
 KEXT_LDFLAGS = @LIBSEMIGROUPS_RPATH@ @LIBSEMIGROUPS_LIBS@
 
 # configure settings
@@ -47,10 +47,11 @@ ifdef WITH_INCLUDED_LIBSEMIGROUPS
 # FIXME(later) all the include paths should point into bin/include/ and not to
 # the sources, or otherwise we should stop make installing into bin
 ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
-KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include
-KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include/fallback
+KEXT_CPPFLAGS += -Ilibsemigroups/third_party/HPCombi/include
+KEXT_CPPFLAGS += -Ilibsemigroups/third_party/HPCombi/third_party/
 endif
-KEXT_CPPFLAGS += -Ilibsemigroups/extern/fmt-8.0.1/include
+KEXT_CPPFLAGS += -Ilibsemigroups/third_party/fmt-11.1.4/include
+KEXT_CPPFLAGS += -Ilibsemigroups/third_party/magic_enum-0.9.7/include
 KEXT_CPPFLAGS += -Ilibsemigroups/include
 endif
 KEXT_CPPFLAGS += -DFMT_HEADER_ONLY

doc/cong.xml

@@ -556,10 +556,10 @@ gap> cong := SemigroupCongruence(S, [Transformation([1, 2, 1]),
 >                                    Transformation([2, 1, 2])]);;
 gap> classes := NonTrivialEquivalenceClasses(cong);;
 gap> Set(classes);
-[ <2-sided congruence class of Transformation( [ 1, 2, 2 ] )>,
-  <2-sided congruence class of Transformation( [ 3, 1, 3 ] )>,
-  <2-sided congruence class of Transformation( [ 3, 1, 1 ] )>,
-  <2-sided congruence class of Transformation( [ 2, 1, 2 ] )>,
+[ <2-sided congruence class of Transformation( [ 1, 2, 2 ] )>, 
+  <2-sided congruence class of Transformation( [ 3, 1, 1 ] )>, 
+  <2-sided congruence class of Transformation( [ 3, 1, 3 ] )>, 
+  <2-sided congruence class of Transformation( [ 2, 1, 2 ] )>, 
   <2-sided congruence class of Transformation( [ 3, 3, 3 ] )> ]
 gap> cong := RightSemigroupCongruence(S, [Transformation([1, 2, 1]),
 >                                         Transformation([2, 1, 2])]);;

doc/greens-generic.xml

@@ -626,7 +626,6 @@ false]]></Example>
   <ManSection><Heading>IteratorOfXClassReps</Heading>
   <Oper Name = "IteratorOfDClassReps" Arg = "S"/>
   <Oper Name = "IteratorOfHClassReps" Arg = "S"/>
-  <Oper Name = "IteratorOfLClassReps" Arg = "S"/>
   <Returns>
   An iterator.
   </Returns>

environment.yml

@@ -4,4 +4,4 @@ channels:
   - conda-forge
 
 dependencies:
-  - libsemigroups==2.7.4
+  - libsemigroups==3.4.0

gap/congruences/conglatt.gi

@@ -68,7 +68,7 @@ SEMIGROUPS.PrincipalXCongruencesNC :=
     keep := true;
     newcong := SemigroupXCongruence(S, [new_pair]);
     m := NrEquivalenceClasses(newcong);
-    newcongdiscrim := List(words, w -> CongruenceWordToClassIndex(newcong, w));
+    newcongdiscrim := List(words, w -> CongruenceReduce(newcong, w));
     if not IsBound(congs[m]) then
       congs[m] := [newcong];
       congs_discrim[m] := [newcongdiscrim];
@@ -244,7 +244,7 @@ function(S, gen_congs, WrappedXCongruence)
     all_congs := List(AsListCanonical(S), x -> x![1]);
   else  # The default
     S := List(gen_congs, EquivalenceRelationLookup);
-    old_value := libsemigroups.should_report();
+    old_value := libsemigroups.reporting_enabled();
     if InfoLevel(InfoSemigroups) = 4 then
       libsemigroups.set_report(true);
     fi;

gap/libsemigroups/cong.gd

@@ -22,3 +22,9 @@ DeclareOperation("CongruenceLessNC",
                  [CanUseLibsemigroupsCongruence,
                   IsMultiplicativeElement,
                   IsMultiplicativeElement]);
+
+DeclareOperation("CongruenceReduce",
+                 [CanUseLibsemigroupsCongruence, IsHomogeneousList]);
+DeclareOperation("CongruenceReduce",
+                 [CanUseLibsemigroupsCongruence, IsMultiplicativeElement]);
+