Changes in gap-pkg-semigroups 3.3.2:
NonTrivialCongruenceClassesfailed to work, but
CongruenceClassesdid work. This was caused by an issue in
EquivalenceRelationPartition; resolved by James D. Mitchell.
Changes in libsemigroups 1.2.0:
KnuthBendixinstance. This automaton is accessible via the member function
gilman_digraph. Using this approach significantly improves the performance of the size member function of
KnuthBendixand allows a
KnuthBendixinstance to know whether or not it is infinite.
number_of_pathsmember function of the class template
ActionDigraph, and the ability to specify the algorithm to be used.
ActionDigraphgets new member functions:
nr_edgesfor a node;
number_of_pathswith a single node as argument;
number_of_paths_algorithmwhich returns a value in an enum describing the algorithm used by
add_cyclein the namespace
number_of_wordsfor counting the number of words with length in a given range over an alphabet of specified size.
ActionDigraphgets new static member functions random for outputing a random action digraph with a given number of edges; and
libsemigroups_cppyy. Thanks to Murray Whyte for pointing out several of these bugs.
KnuthBendixinstance refusing to run even though the rules it contained were not reduced (but were confluent).
Changes in libsemigroups 1.2.1:
sudo dnf upgrade --advisory=FEDORA-2020-4a33726764
Please login to add feedback.