MinimalRepOrc¶
-
class MinimalRepOrc : public libsemigroups::Sims1Settings<MinimalRepOrc>¶
Defined in
sims1.hpp
.This class is a helper for
Sims1
, calling thedigraph
member function attempts to find a right congruence, represented as an ActionDigraph, with the minimum possible number of nodes such that the action of the semigroup or monoid defined by the presentation consisting of its short_rules and long_rules on the nodes of the ActionDigraph corresponds to a semigroup of size target_size.If no such ActionDigraph can be found, then an empty ActionDigraph is returned (with
0
nodes and0
edges).
Constructors¶
Default constructor. |
Settings¶
Returns a const reference to the additional defining pairs. |
|
Set the extra rules. |
|
Define the long rule length. |
|
Returns the current long rules. |
|
Set the long rules. |
|
Returns the current number of threads. |
|
Set the number of threads. |
|
Returns the current report interval. |
|
Set the report interval. |
|
Returns the settings object of *this. |
|
Copy the settings from |
|
Returns a const reference to the current short rules. |
|
Set the short rules. |
|
Split the rules in |
|
|
None |
Settings specifically for MinimalRepOrc¶
Get the digraph. |
|
The current target size. |
|
Set the target size. |