forked from pool/libsemigroups
354 lines
14 KiB
Plaintext
354 lines
14 KiB
Plaintext
-------------------------------------------------------------------
|
|
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>
|
|
|
|
- Update to release 2.7.3
|
|
* Optimise the Konieczny algorithm
|
|
|
|
-------------------------------------------------------------------
|
|
Thu Nov 2 21:07:13 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2.7.2
|
|
* Unspecified minor issues have been resolved.
|
|
|
|
-------------------------------------------------------------------
|
|
Wed Mar 29 08:28:03 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2.7.1
|
|
* present: fix sort_rules bug
|
|
|
|
-------------------------------------------------------------------
|
|
Wed Mar 22 18:50:42 UTC 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 13:34:44 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2.6.2
|
|
* Build system changes only
|
|
|
|
-------------------------------------------------------------------
|
|
Sun Feb 26 10:33:01 UTC 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 6 19:41:13 UTC 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`
|
|
|
|
-------------------------------------------------------------------
|
|
Thu Dec 22 13:57:55 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2.5.1
|
|
* Minor release. No changelog provided.
|
|
|
|
-------------------------------------------------------------------
|
|
Thu Dec 15 10:29:59 UTC 2022 - Dirk Müller <dmueller@suse.com>
|
|
|
|
- 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 <dmueller@suse.com>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- Enable fmt component
|
|
- Refresh pkgconfig.patch
|
|
|
|
-------------------------------------------------------------------
|
|
Sat Nov 19 01:38:42 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Add pkgconfig.patch
|
|
|
|
-------------------------------------------------------------------
|
|
Fri Oct 28 11:43:26 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- Update to release 2.2.3
|
|
* some unspecified minor fixes
|
|
|
|
-------------------------------------------------------------------
|
|
Mon Sep 12 14:25:19 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- Update to release 2.2.2
|
|
* some unspecified minor fixes
|
|
|
|
-------------------------------------------------------------------
|
|
Sat Aug 13 08:30:28 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- Update to release 1.3.5
|
|
* Fix unspecified bug in ToddCoxeter
|
|
|
|
-------------------------------------------------------------------
|
|
Fri Nov 27 17:16:44 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- Update to release 1.3.3
|
|
* Build system changes only
|
|
|
|
-------------------------------------------------------------------
|
|
Fri Oct 2 13:58:11 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
|
|
|
|
- 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<PBR>` 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 <jengelh@inai.de>
|
|
|
|
- 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 <jengelh@inai.de>
|
|
|
|
- Initial package (version 0.6.7) for build.opensuse.org
|