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.

Parameters

(None)

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

See

kambites().

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.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

knuth_bendix().

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.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

todd_coxeter().

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).

Exceptions

This function guarantees not to throw a LibsemigroupsException..

Complexity

Constant.

See

has_kambites().

Parameters

(None)

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).

Exceptions

This function guarantees not to throw a LibsemigroupsException..

Complexity

Constant.

See

has_knuth_bendix().

Parameters

(None)

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).

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

has_todd_coxeter().

Parameters

(None)

Returns

A shared_ptr to a congruence::KnuthBendix or nullptr.

Previous Next

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

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