is_obviously_infinite

bool libsemigroups::CongruenceWrapper::is_obviously_infinite()

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

Return

A bool.

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.

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.

See

is_obviously_finite().

Parameters

(None)