is_obviously_infinite¶
-
bool
libsemigroups::FpSemigroupInterface
::
is_obviously_infinite
()¶ Return
true
if the finitely presented semigroup represented bythis
is obviously infinite, andfalse
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, iffalse
is returned, then the finitely presented semigroup can be finite or infinite.- See
- Parameters
(None)