Changes in gap-pkg-semigroups 3.3.2:

  • Issue #676 and Issue #677 reported by Reinis Cirpons, where for some congruences NonTrivialCongruenceClasses failed to work, but CongruenceClasses did work. This was caused by an issue in EquivalenceRelationPartition; resolved by James D. Mitchell.
  • An issue in the equality, less than, and product methods for PBRs which previously permitted PBRs of different degrees to be given as arguments, resulting in unhelpful errors from within the implementations of these methods; resolved by James D. Mitchell.

Changes in libsemigroups 1.2.0:

  • New feature: an implementation of Gilman's Algorithm to construct an automaton that allows for counting, and iterating through, the normal forms of strings in a KnuthBendix instance. This automaton is accessible via the member function gilman_digraph. Using this approach significantly improves the performance of the size member function of KnuthBendix and allows a KnuthBendix instance to know whether or not it is infinite.
  • New feature: improvements to the algorithm used by the number_of_paths member function of the class template ActionDigraph, and the ability to specify the algorithm to be used.
  • New feature: the class template ActionDigraph gets new member functions: nr_edges for a node; number_of_paths with a single node as argument; number_of_paths_algorithm which returns a value in an enum describing the algorithm used by number_of_paths by default.
  • New feature: the functions topological_sort and add_cycle in the namespace libsemigroups::action_digraph_helper
  • New feature: the function number_of_words for counting the number of words with length in a given range over an alphabet of specified size.
  • New feature: the class template ActionDigraph gets new static member functions random for outputing a random action digraph with a given number of edges; and random_acyclic.
  • There were also several further minor improvements and bug fixes implemented in this version, many of which arose while developing libsemigroups_cppyy. Thanks to Murray Whyte for pointing out several of these bugs.
  • One major bug was also resolved: sometimes a KnuthBendix instance refusing to run even though the rules it contained were not reduced (but were confluent).

Changes in libsemigroups 1.2.1:

  • This is an exceedingly minor release removing some extraneous files from, and adding one essential file to, the distro.

How to install

sudo dnf upgrade --advisory=FEDORA-2020-4a33726764

This update has been submitted for testing by jjames.

3 months ago

This update's test gating status has been changed to 'ignored'.

3 months ago

This update's test gating status has been changed to 'waiting'.

3 months ago

This update's test gating status has been changed to 'ignored'.

3 months ago

This update has been pushed to testing.

3 months ago

This update can be pushed to stable now if the maintainer wishes

2 months ago

This update has been submitted for stable by bodhi.

2 months ago

This update has been pushed to stable.

2 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
3 months ago
in testing
3 months ago
in stable
2 months ago
BZ#1851716 gap-pkg-semigroups-3.3.2 is available
0
0
BZ#1851776 libsemigroups-1.2.1 is available
0
0

Automated Test Results