Size

This page contains information about the member functions of the FpSemigroupInterface class for checking whether the fp semigroup is obviously infinite or finite.

bool libsemigroups::FpSemigroupInterface::is_obviously_finite()

Check if the finitely presented semigroup is obviously finite.

Return true if the finitely presented semigroup represented by this is obviously finite, and false if it is not obviously finite.

See also

is_obviously_infinite().

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Implementation specific, but this function is guaranteed to return a result. More specifically, this function will not trigger a computation that potentially never terminates.

Parameters

(None)

Warning

If true is returned, then the finitely presented semigroup is finite, if false is returned, then the finitely presented semigroup can be finite or infinite.

Returns:

A bool.

bool libsemigroups::FpSemigroupInterface::is_obviously_infinite()

Check if the finitely presented semigroup is obviously infinite.

Return true if the finitely presented semigroup represented by this is obviously infinite, and false if it is not obviously infinite.

See also

is_obviously_finite().

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Implementation specific, but this function is guaranteed to return a result. More specifically, this function will not trigger a computation that potentially never terminates.

Parameters

(None)

Warning

If true is returned, then the finitely presented semigroup is infinite, if false is returned, then the finitely presented semigroup can be finite or infinite.

Returns:

A bool.