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.