is_monoidΒΆ

bool libsemigroups::FroidurePinBase::is_monoid()

Check if the semigroup represented by this is a monoid.

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).