------------------------------------------------------------------- Wed Aug 13 00:32:27 UTC 2025 - Jan Engelhardt - 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 - Update to release 3.1.2 * Remove remaining occurrences of std::basic_string ------------------------------------------------------------------- Mon Jul 28 15:47:43 UTC 2025 - Jan Engelhardt - 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 - 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 - Update to release 3.0.3 * GCC 15 support ------------------------------------------------------------------- Tue Apr 1 18:52:20 UTC 2025 - Jan Engelhardt - Update to release 3.0.2 * Konieczny: fix typos in to_human_readable_repr ------------------------------------------------------------------- Wed Mar 26 14:44:48 UTC 2025 - Jan Engelhardt - 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 - 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 - Update to release 2.7.3 * Optimise the Konieczny algorithm ------------------------------------------------------------------- Thu Nov 2 21:07:13 UTC 2023 - Jan Engelhardt - Update to release 2.7.2 * Unspecified minor issues have been resolved. ------------------------------------------------------------------- Wed Mar 29 08:28:03 UTC 2023 - Jan Engelhardt - Update to release 2.7.1 * present: fix sort_rules bug ------------------------------------------------------------------- Wed Mar 22 18:50:42 UTC 2023 - Jan Engelhardt - Update to release 2.7.0 * Allow computation of strongly connected components of non-complete word graphs ------------------------------------------------------------------- Mon Feb 27 13:34:44 UTC 2023 - Jan Engelhardt - Update to release 2.6.2 * Build system changes only ------------------------------------------------------------------- Sun Feb 26 10:33:01 UTC 2023 - Jan Engelhardt - Update to release 2.6.1 * Remove auto return type from first_unused_letter * Properly initialise RepOrc ------------------------------------------------------------------- Mon Feb 6 19:41:13 UTC 2023 - Jan Engelhardt - 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` ------------------------------------------------------------------- Thu Dec 22 13:57:55 UTC 2022 - Jan Engelhardt - Update to release 2.5.1 * Minor release. No changelog provided. ------------------------------------------------------------------- Thu Dec 15 10:29:59 UTC 2022 - Dirk Müller - update to v2.5.0: * In this release a small number of issues are resolved, and one major new feature is added. The features added in this release are: * Add order_preserving_monoid presentation * Add presentations for the cyclic inverse monoid, and its order- preserving part ------------------------------------------------------------------- Fri Dec 9 22:30:48 UTC 2022 - Dirk Müller - update to v2.4.1: * This is a minor release fixing some issues in the build system that should have been included in the last release. * Change -march=avx -> -mavx by @james-d-mitchell in #418 ------------------------------------------------------------------- Thu Dec 1 20:11:33 UTC 2022 - Jan Engelhardt - Update to release 2.4.0 * Add replace_word presentation helper * A library of examples of finite presentations was added - Delete pkgconfig.patch ------------------------------------------------------------------- Sat Nov 19 19:36:33 UTC 2022 - Jan Engelhardt - Enable fmt component - Refresh pkgconfig.patch ------------------------------------------------------------------- Sat Nov 19 01:38:42 UTC 2022 - Jan Engelhardt - Add pkgconfig.patch ------------------------------------------------------------------- Fri Oct 28 11:43:26 UTC 2022 - Jan Engelhardt - Update to release 2.3.2 * Fix inaccurate exception information for ``replace_subword`` * string-view: fix bug in append method This bug sometimes caused the ``normal_form`` member function of the ``Kambites`` class template to return incorrect results, or sometimes to cause a crash. ------------------------------------------------------------------- Tue Oct 11 06:47:03 UTC 2022 - Jan Engelhardt - Update to release 2.3.1 * Sometimes number_of_congruences erroneously returned 0 for the number of congruences with 1 class. * If an empty presentation (no generators or relations) was used to initialise short_rules, then the Sims1::for_each and Sims1::find_if could crash. ------------------------------------------------------------------- Thu Sep 29 10:51:56 UTC 2022 - Jan Engelhardt - Update to release 2.3.0 * The "Sims1" class has been redesigned and improved to implement a parallel version of the low index congruences algorithm. ------------------------------------------------------------------- Thu Sep 22 09:13:45 UTC 2022 - Jan Engelhardt - Update to release 2.2.3 * some unspecified minor fixes ------------------------------------------------------------------- Mon Sep 12 14:25:19 UTC 2022 - Jan Engelhardt - Update to release 2.2.2 * some unspecified minor fixes ------------------------------------------------------------------- Sat Aug 13 08:30:28 UTC 2022 - Jan Engelhardt - Update to release 2.2.1 * This is a minor release fixing a data race (probably) caused by setting the global locale ------------------------------------------------------------------- Sat Jul 2 10:27:30 UTC 2022 - Jan Engelhardt - Update to release 2.2.0 * New: Sims Low-Index Congruence Algorithm * Added permutation group intersections ------------------------------------------------------------------- Thu Apr 21 21:27:14 UTC 2022 - Jan Engelhardt - Update to release 2.1.5 * The Schreier-Sims object size function returned wrong results ------------------------------------------------------------------- Fri Mar 4 18:53:58 UTC 2022 - Jan Engelhardt - Update to release 2.1.4 * Is is now possible to create the quotient_froidure_pin of a congruence with infinitely many classes. * Some exception messages were corrected for Bipartition objects. ------------------------------------------------------------------- Thu Dec 16 19:38:20 UTC 2021 - Jan Engelhardt - Update to release 2.1.3 * Some performance improvements in ActionDigraph::number_of_paths, the suffix tree implementation, and in KnuthBendix. ------------------------------------------------------------------- Tue Nov 30 11:46:47 UTC 2021 - Jan Engelhardt - Update to release 2.1.2 * New implementations of the linear time algorithm by Kambites for equality checking and the algorithm by Mitchell and Tsalakou for finding normal forms in small overlap monoids in the class `Kambites`. * A performance improvement in the implementation of Konieczny algorithm, for determining the structure of a finite semigroup or monoid. * An implementation of the linear time algorithm by Radoszewski and Rytter for checking equality of words in free bands in the function. * A major revision, expansion of the settings, and improvement in the performance of the implementation of the Todd-Coxeter algorithm in the class `ToddCoxeter`. ------------------------------------------------------------------- Thu Nov 11 11:33:32 UTC 2021 - Jan Engelhardt - Update to release 2.0.3 * This release contains a minor change to the FroidurePin class template that resolves an issue with the python binding. ------------------------------------------------------------------- Mon Sep 20 20:41:07 UTC 2021 - Jan Engelhardt - Update to release 2.0.2 * This release includes some missing operators, adapters, and docs were added. ------------------------------------------------------------------- Sat Aug 28 19:50:37 UTC 2021 - Jan Engelhardt - Update to release 2.0.1 * konieczny: store lambda/rho positions for D class reps ------------------------------------------------------------------- Wed May 26 18:11:25 UTC 2021 - Jan Engelhardt - Update to release 2.0.0 * Major rewrite of the functionality in libsemigroups for matrices, transformations, and other elements of semigroups. libsemigroups has been updated to use C++14 (from C++11), and some simplifications were made as a consequence. The documentation has been improved, some deprecated functionality was remove, and other minor improvements, and simplifications were made. ------------------------------------------------------------------- Sun Feb 28 12:05:52 UTC 2021 - Jan Engelhardt - Update to release 1.3.7 * Fix a bug in `Konieczny` * Added a limit to `CongruenceByPairs` ------------------------------------------------------------------- Fri Feb 5 17:53:39 UTC 2021 - Jan Engelhardt - Update to release 1.3.6 * This is a minor release for compatibility with the GAP package Semigroups. ------------------------------------------------------------------- Thu Jan 28 10:52:18 UTC 2021 - Jan Engelhardt - Update to release 1.3.5 * Fix unspecified bug in ToddCoxeter ------------------------------------------------------------------- Fri Nov 27 17:16:44 UTC 2020 - Jan Engelhardt - Update to release 1.3.4 * There were some bugs in the string formatting in exceptions on 32-bit systems. * The disjoint sets data structures were refactored completely, and their performance improved. ------------------------------------------------------------------- Wed Oct 7 12:37:07 UTC 2020 - Jan Engelhardt - Update to release 1.3.3 * Build system changes only ------------------------------------------------------------------- Fri Oct 2 13:58:11 UTC 2020 - Jan Engelhardt - Update to release 1.3.2 * Fixed: It was possible to create invalid `PBR` objects, which caused some incorrect values to be returned by `FroidurePin` instances. The `to_string` implementation for `PBR` also did not work properly in all cases. ------------------------------------------------------------------- Tue Sep 22 11:16:35 UTC 2020 - Jan Engelhardt - Update to release 1.3.1 * Support for disabling HPCombi (and thus AVX-256 requirement) ------------------------------------------------------------------- Thu Sep 17 11:17:39 UTC 2020 - Jan Engelhardt - Initial package (version 0.6.7) for build.opensuse.org