froidure_pinΒΆ

std::shared_ptr<FroidurePinBase> libsemigroups::FpSemigroupInterface::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)