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 define this.

Parameters

(None).

Returns

true if the semigroup represented by this contains FroidurePin::One()(), and false if not.