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
  • FpSemigroup
  • Related algorithms
  • View page source

Related algorithms¶

inline bool libsemigroups::FpSemigroup::has_kambites() const noexcept¶

Checks if a fpsemigroup::Kambites instance is being used to compute the finitely presented semigroup represented by this.

See also

kambites().

Parameters

(None)

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Returns:

A bool.

inline bool libsemigroups::FpSemigroup::has_knuth_bendix() const¶

Checks if a fpsemigroup::KnuthBendix instance is being used to compute the finitely presented semigroup represented by this.

See also

knuth_bendix().

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

Returns:

A bool.

inline bool libsemigroups::FpSemigroup::has_todd_coxeter() const¶

Checks if a fpsemigroup::ToddCoxeter instance is being used to compute the finitely presented semigroup represented by this.

See also

todd_coxeter().

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

Returns:

A bool.

inline std::shared_ptr<Kambites> libsemigroups::FpSemigroup::kambites() const¶

Returns the fpsemigroup::Kambites instance used to compute the finitely presented semigroup (if any).

See also

has_kambites().

Complexity

Constant.

Parameters

(None)

Throws:

(None) – This function guarantees not to throw a LibsemigroupsException..

Returns:

A shared_ptr to a congruence::Kambites or nullptr.

inline std::shared_ptr<KnuthBendix> libsemigroups::FpSemigroup::knuth_bendix() const¶

Returns the fpsemigroup::KnuthBendix instance used to compute the finitely presented semigroup (if any).

See also

has_knuth_bendix().

Complexity

Constant.

Parameters

(None)

Throws:

(None) – This function guarantees not to throw a LibsemigroupsException..

Returns:

A shared_ptr to a congruence::KnuthBendix or nullptr.

inline std::shared_ptr<ToddCoxeter> libsemigroups::FpSemigroup::todd_coxeter() const¶

Returns the libsemigroups::fpsemigroup::ToddCoxeter instance used to compute the finitely presented semigroup (if any).

See also

has_todd_coxeter().

Complexity

Constant.

Parameters

(None)

Throws:

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns:

A shared_ptr to a congruence::KnuthBendix or nullptr.

Previous Next

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

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