is_idempotent¶
-
bool
libsemigroups::FroidurePin
::
is_idempotent
(element_index_type)¶ 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.