froidure_pin¶
-
inline std::shared_ptr<FroidurePinBase> libsemigroups::FpSemigroupInterface::froidure_pin()¶
Returns a FroidurePin instance isomorphic to the finitely presented semigroup defined by
this
.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
See warning.
- Parameters
(None)
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.
- Returns
A shared pointer to a FroidurePinBase.