is_idempotent¶
-
virtual bool libsemigroups::FroidurePin::is_idempotent(element_index_type) override¶
Returns
true
if the element in positionpos
is an idempotent andfalse
if it is not.The parameter
pos
must be a valid position of an element of the semigroup, or a LibsemigroupsException will be thrown. This member function involves fully enumerating the semigroup, if it is not already fully enumerated.