is_monoidΒΆ
-
bool
libsemigroups::FroidurePinBase
::
is_monoid
() Check if the semigroup represented by
this
is a monoid.- Return
true
if the semigroup represented bythis
contains FroidurePin::One()(), andfalse
if not.- 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).