nr_idempotents

virtual size_t libsemigroups::FroidurePin::nr_idempotents() override

Returns the total number of idempotents in the semigroup.

This member function involves fully enumerating the semigroup, if it is not already fully enumerated. The value of the positions, and number, of idempotents is stored after they are first computed.