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 bythis
is obviously finite, andfalse
if it is not obviously finite.See also
- 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, iffalse
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 bythis
is obviously infinite, andfalse
if it is not obviously infinite.See also
- 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, iffalse
is returned, then the finitely presented semigroup can be finite or infinite.- Returns
A
bool
.