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
.