is_monoid

virtual bool libsemigroups::FroidurePinBase::is_monoid() = 0

Return

true if the semigroup represented by this contains FroidurePin::One()(), and false 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 define this.

Parameters

(None).