Accepting request 1308552 from science

- Update to release 3.2.0

OBS-URL: https://build.opensuse.org/request/show/1308552
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/libsemigroups?expand=0&rev=36

_scmsync.obsinfo

@@ -0,0 +1,4 @@
+mtime: 1759396295
+commit: e65deb4884791272d51386caf4e60a52e7cd2598f0e80cab5ac0905ff9811b21
+url: https://src.opensuse.org/jengelh/libsemigroups
+revision: master

build.specials.obscpio

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:6de1b5137760346067e43e9da1db9f6e86593231e56aff8812fb6f9eec14431d
+size 256

libsemigroups.changes

@@ -1,3 +1,96 @@
+-------------------------------------------------------------------
+Thu Oct  2 09:11:32 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.2.0
+  * Balance presentation
+  * `is_obviously_infinite(Kambites)` respects generating pairs
+  * Check `is_obviously_infinite` before running in
+    `Congruence::number_of_classes`
+  * Bipartition benchmarks
+  * Add an option to compile with external backward
+  * Improve reporting for Todd-Coxeter
+  * todd-coxeter: fix bug in `reduce`
+  * word-graph: improve standardization performance
+
+-------------------------------------------------------------------
+Wed Aug 13 00:32:27 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.1.3
+  * Add a `to_human_readable_repr` function for the `Action` class.
+  * Update the `to_human_readable_repr` of the `Congruence` class
+    to be more consistent with the `KnuthBendix` and `ToddCoxeter`
+    classes.
+  * Mark `IsBipartition`, `IsPBR`, `IsPresentation`,
+    `IsInversePresentation` and `IsWordGraph` as deprecated.
+
+-------------------------------------------------------------------
+Tue Jul 29 22:04:46 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.1.2
+  * Remove remaining occurrences of std::basic_string<uint8_t>
+
+-------------------------------------------------------------------
+Mon Jul 28 15:47:43 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.1.1
+  * It is currently only possible to construct KnuthBendix objects
+    using presentations with at most 128 generators. This is now
+    properly checked, and a meaningful exception is thrown
+    otherwise.
+
+-------------------------------------------------------------------
+Sun Jul 20 13:34:51 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.1.0
+  * Add presentation for the `abacus_jones_monoid` method
+  * Add AhoCorasickImpl with strong alphabet constraints
+  * Knuth bendix performance improvements
+
+-------------------------------------------------------------------
+Wed Apr  9 23:51:29 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.0.3
+  * GCC 15 support
+
+-------------------------------------------------------------------
+Tue Apr  1 18:52:20 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.0.2
+  * Konieczny: fix typos in to_human_readable_repr
+
+-------------------------------------------------------------------
+Wed Mar 26 14:44:48 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.0.1
+  * Catch up on SONAME bump missing from 3.0.0
+
+-------------------------------------------------------------------
+Sat Mar 22 09:07:35 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 3.0.0
+  * Reporting during a computation has been improved
+  * Class interfaces were reduced in size, with member functions
+    only calling other public member functions being moved into a
+    helper namespace.
+  * Most classes now use iterators exclusively in their interfaces.
+  * The class ``ActionDigraph`` has been renamed ``WordGraph`` for
+    consistency with the mathematical literature.
+  * Some functionality that used to be in ``ActionDigraph`` has
+    been move into the classes ``Gabow`` and ``Paths``.
+  * The class ``Dot`` facilitates the creation and rendering of
+    graph descriptions in the DOT language of the Graphviz graph
+    drawing software.
+  * Conversion from one libsemigroups type to another is now
+    exclusively via the function template to.
+  * Many constructors for classes where it is expected that many
+    instances will be created (such as Transf, for example) do not
+    perform any checks on their arguments. Alternative versions of
+    these constructors, that do perform checks, are available using
+    the ``make`` function.
+  * Range objects are used fairly extensively throughout the
+    library.
+  * libsemigroups has been updated to use C++17 (from C++14).
+
 -------------------------------------------------------------------
 Fri Jan 19 22:10:46 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
 

libsemigroups.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package libsemigroups
 #
-# Copyright (c) 2024 SUSE LLC
+# Copyright (c) 2025 SUSE LLC
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -17,19 +17,23 @@
 
 
 Name:           libsemigroups
-%define lname	libsemigroups2
-Version:        2.7.3
+%define lname	libsemigroups3
+Version:        3.2.0
 Release:        0
 Summary:        Library with algorithms for computing finite and finitely presented semigroups
 License:        GPL-3.0-or-later
 Group:          Productivity/Scientific/Math
 URL:            https://github.com/libsemigroups/libsemigroups
-Source:         https://github.com/libsemigroups/libsemigroups/releases/download/v%version/%name-%version.tar.gz
+#Source:         https://github.com/libsemigroups/libsemigroups/releases/download/v%version/%name-%version.tar.gz
+Source:         https://github.com/libsemigroups/libsemigroups/archive/refs/tags/v%version.tar.gz
 BuildRequires:  automake
+BuildRequires:  backward-cpp-devel
 BuildRequires:  gcc-c++
 BuildRequires:  libtool
 BuildRequires:  pkgconfig(eigen3)
-BuildRequires:  pkgconfig(fmt) >= 8.1.1
+BuildRequires:  pkgconfig(fmt) >= 10.1
+Provides:       bundled(magic_enum)
+Provides:       bundled(rx-ranges)
 
 %description
 A C++14 library containing implementations of several algorithms for
@@ -43,10 +47,10 @@ Group:          System/Libraries
 A C++14 library containing implementations of several algorithms for
 computing finite and finitely presented semigroups, namely:
 
-	* the Froidure–Pin algorithm for computing finite semigroups
-	* the Todd–Coxeter and Knuth–Bendix algorithms for finitely
-	  presented semigroups and monoids;
-	* the Schreier–Sims algorithm for permutation groups
+* the Froidure–Pin algorithm for computing finite semigroups
+* the Todd–Coxeter and Knuth–Bendix algorithms for finitely
+  presented semigroups and monoids;
+* the Schreier–Sims algorithm for permutation groups
 
 %package devel
 Summary:        Development files for the Semigroups library
@@ -61,13 +65,15 @@ This subpackage provides the development headers for it.
 
 %prep
 %autosetup -p1
+rm -Rf third_party/backward-cpp
 
 %build
 autoreconf -fi
 # hpcombi requires AVX-256, which is not guaranteed to exist everywhere
 %configure --disable-static --disable-hpcombi \
 	--enable-eigen --with-external-eigen \
-	--enable-fmt --with-external-fmt
+	--enable-fmt --with-external-fmt \
+	--with-external-backward
 %make_build
 
 %install
@@ -77,17 +83,16 @@ rm -f "%buildroot/%_libdir"/*.la
 %check
 %make_build check
 
-%post   -n %lname -p /sbin/ldconfig
-%postun -n %lname -p /sbin/ldconfig
+%ldconfig_scriptlets -n %lname
 
 %files -n %lname
-%_libdir/libsemigroups.so.2*
+%_libdir/libsemigroups.so.*
 
 %files devel
 %_includedir/libsemigroups/
 %_libdir/libsemigroups.so
 %_libdir/pkgconfig/*.pc
 %license LICENSE
-%doc README.rst
+%doc README.md
 
 %changelog