is_monoid¶
-
inline bool libsemigroups::FroidurePin::is_monoid()¶
Check if the semigroup represented by
this
is a monoid.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
\(O(|S||A|)\) where \(S\) is the semigroup represented by
this
and \(A\) is the set of generators used to definethis
.- Parameters
(None).
- Returns
true
if the semigroup represented bythis
contains FroidurePin::One()(), andfalse
if not.