| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: libsemigroups3 | Distribution: openSUSE Tumbleweed |
| Version: 3.5.3 | Vendor: openSUSE |
| Release: 2.1 | Build date: Thu Mar 19 00:06:47 2026 |
| Group: System/Libraries | Build host: reproducible |
| Size: 1411262 | Source RPM: libsemigroups-3.5.3-2.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://github.com/libsemigroups/libsemigroups | |
| Summary: Library with algorithms for computing finite and finitely presented semigroups | |
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
GPL-3.0-or-later
* Wed Mar 18 2026 Jan Engelhardt <jengelh@inai.de>
- Make Leap 16 build succeed again
* Tue Mar 17 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.5.3
* Fixed an issue in the `Runner` class (which would sometimes
fail to be dead after being killed, causing some computations
to run indefinitely).
* Sat Mar 14 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.5.2
* ToddCoxeter refused execution when not run as part of a
Congruence
* Thu Mar 05 2026 Jan Engelhardt <jengelh@inai.de>
- Rectify version field in pkgconfig file
* Wed Feb 25 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.5.1
* `increase_degree_by` errneously threw if the resultant degree
would exceed the dot
* bmat8: throw from one if dim too high + correct docs for random
* Mon Feb 23 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.5.0
* Improve transf exceptions
* Improve lookbehind in ToddCoxeter
* Sat Jan 17 2026 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.4.0
* Deprecate `report_every`
* Implement `to<WordGraph>`
* Fix behavior of `recursive_path_compare` for empty strings
* Thu Oct 02 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 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 2025 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.1.2
* Remove remaining occurrences of std::basic_string<uint8_t>
* Mon Jul 28 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 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 09 2025 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.0.3
* GCC 15 support
* Tue Apr 01 2025 Jan Engelhardt <jengelh@inai.de>
- Update to release 3.0.2
* Konieczny: fix typos in to_human_readable_repr
* Wed Mar 26 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 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 2024 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.7.3
* Optimise the Konieczny algorithm
* Thu Nov 02 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.7.2
* Unspecified minor issues have been resolved.
* Wed Mar 29 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.7.1
* present: fix sort_rules bug
* Wed Mar 22 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.7.0
* Allow computation of strongly connected components of
non-complete word graphs
* Mon Feb 27 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.6.2
* Build system changes only
* Sun Feb 26 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.6.1
* Remove auto return type from first_unused_letter
* Properly initialise RepOrc
* Mon Feb 06 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 2.6.0
* Add a second symmetric group presentation due to Moore
* Add three functions to ``presentation`` namespace
* Add presentation for the monoid of partial isometries of a
cycle graph
* word: implement user-defined literal ``_w`` for ``word_type``
* New helper functions for `Presentation`
* Add `congruence_kind` argument check to `ToddCoxeter` function
`to_gap_string`
/usr/lib64/libsemigroups.so.3 /usr/lib64/libsemigroups.so.3.0.0
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Apr 1 23:32:50 2026