fpsemigroup::Kambites¶
-
template<typename T>
class Kambites : public libsemigroups::FpSemigroupInterface¶ Defined in
kambites.hpp
.On this page we describe the functionality relating to the algorithms for small overlap monoids by Kambites and the authors of
libsemigroups
.This page describes the implementation in the class fpsemigroup::Kambites which uses the FpSemigroupInterface, which is also documented on this page.
Member type¶
The template parameter |
Constructors¶
Default constructor. |
|
Default copy constructor. |
|
Default move constructor. |
|
Default copy assignment operator. |
|
Default move assignment operator. |
Member functions¶
Check if two strings represent the same element. |
|
Returns the number of normal forms with length in a given range. |
|
Returns the minimum number of pieces required to factorise the \(i\) -th relation word. |
|
Get the small overlap class of the finitely presented semigroup represented by |
Member functions and types inherited from FpSemigroupInterface¶
Add a rule using a |
|
Add a rule using a |
|
|
Add a rule using two |
Add a rule using two std::string const references. |
|
Add a rule using two |
|
Add rules from a |
|
Add rules in a vector. |
|
Returns a const reference to the alphabet. |
|
Returns the |
|
Returns an iterator pointing to the first rule. |
|
Returns an iterator pointing one past the last rule. |
|
Convert a char to a |
|
Type for characters. |
|
Type for const iterators to the defining rules. |
|
|
Check if two words represent the same element. |
Check if two strings represent the same element. |
|
Check if two words represent the same element. |
|
Returns an isomorphic |
|
Check if an isomorphic |
|
Check if an identity has been set. |
|
Returns the identity (if any). |
|
Returns the inverses (if any). |
|
Check if the finitely presented semigroup is obviously finite. |
|
Check if the finitely presented semigroup is obviously infinite. |
|
Returns a normal form for a |
|
Returns a normal form for a string. |
|
Returns a normal form for a |
|
Returns the number of rules. |
|
Type for rules. |
|
Set the size of the alphabet. |
|
Set the alphabet of the finitely presented semigroup. |
|
Set a character in |
|
Set a character in |
|
Set the inverses of letters in |
|
Returns the size of the finitely presented semigroup. |
|
Convert a string to a |
|
The type of strings used by a |
|
Returns a string containing GAP commands for defining a finitely presented semigroup. |
|
Convert a |
|
Validates a letter specified by a |
|
Validates a letter specified by an integer. |
|
Validates a word given by a std::string. |
|
Validates a word given by a |
|
Convert a |
Member functions inherited from Runner¶
Check if the runner is dead. |
|
Check if |
|
Stop |
|
Check if it is time to report. |
|
Get the minimum elapsed time between reports. |
|
Set the minimum elapsed time between reports. |
|
Set the minimum elapsed time between reports. |
|
Report why |
|
Run until |
|
Run for a specified amount of time. |
|
Run for a specified amount of time. |
|
Run until a nullary predicate returns |
|
Run until a nullary predicate returns |
|
Check if currently running. |
|
Check if the runner is currently running for a particular length of time. |
|
Check if the runner is currently running until a nullary predicate returns |
|
Check if |
|
Check if the runner is stopped. |
|
Check if the runner was, or should, stop because of the argument for |
|
Check if the amount of time passed to |