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 by this has already been computed, and false if not.

Complexity

Constant.

Parameters

(None)

Throws

(None) – This function is noexcept and is guaranteed never to throw.

Returns

A bool.