libsemigroups

Installation and changelog

  • Installation
  • Changelog - version 2
  • Changelog - version 1

API REFERENCE

  • Actions
  • Congruences
  • Digraphs
  • Elements
  • Finitely presented semigroups
  • Free Bands
  • Matrix
  • Miscellaneous
  • Orders
  • Semigroups
  • Words

Bibliography

  • Bibliography

Further info

  • Semigroupe
  • Authors
libsemigroups
  • »
  • Finitely presented semigroups »
  • FpSemigroupInterface »
  • Related semigroups
  • View page source

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.

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.

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.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)

Returns

A bool.

Previous Next

© Copyright 2019-21, J. D. Mitchell.

Built with Sphinx using a theme provided by Read the Docs.