Related semigroups¶
This page contains information about the member functions of the FpSemigroupInterface
class for obtaining the parent or quotient semigroup represented as a FroidurePin
instance.
-
inline std::shared_ptr<FroidurePinBase> libsemigroups::FpSemigroupInterface::froidure_pin()¶
Returns an isomorphic FroidurePin instance.
Returns a FroidurePin instance isomorphic to the finitely presented semigroup defined by
this
.- 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.
- Throws
(None) – This function guarantees not to throw a
LibsemigroupsException
.- Returns
A shared pointer to a FroidurePinBase.
-
inline bool libsemigroups::FpSemigroupInterface::has_froidure_pin() const noexcept¶
Check if an isomorphic FroidurePin instance is known.
Returns
true
if a FroidurePin instance isomorphic to the finitely presented semigroup defined bythis
has already been computed, andfalse
if not.- Complexity
Constant.
- Parameters
(None)
- Throws
(None) – This function is
noexcept
and is guaranteed never to throw.- Returns
A
bool
.