froidure_pin¶
-
std::shared_ptr<FroidurePinBase>
libsemigroups::CongruenceWrapper
::
froidure_pin
()¶ Returns a FroidurePin instance isomorphic to the finitely presented semigroup defined by
this
.- Return
A shared pointer to a FroidurePinBase.
- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
See warning.
- Warning
The function for finding the structure of a finitely presented semigroup may be non-deterministic, or since the problem is undecidable in general, this function may never return a result.
- Parameters
(None)