Semigroups¶
libsemigroups
implements several algorithms for computing the structure of
a finite semigroup or monoid. The main implementations are of the Froidure-Pin,
Konieczny, and Schreier-Sims (for permutation groups) algorithms; see the links
below for further details.
The implementations of these algorithms are generic, and can be easily adapted for user-defined types. In other words, it is possible to directly apply these algorithms to any type that satisfy some minimal prerequisites, via traits classes and/or the adapters described here.
Many of the classes for semigroups in libsemigroups
can be used
“interactively”, in the sense that they can be run for a particular amount of
time, or until some condition is met; for further details see, for example,
void Runner::run_for(std::chrono::nanoseconds)
and
Runner::run_until()
.
The classes for semigroups and monoids in libsemigroups
are: