Idempotents¶

This page contains information about the methods of the Konieczny class related to idempotents.

Konieczny.number_of_idempotents(self: Konieczny) → int¶

Returns the number of idempotents.

Note: This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.
Parameters: None
Returns: An int.

Konieczny.current_number_of_idempotents(self: Konieczny) → int¶

Returns the current number of idempotents.

Note: This function triggers no enumeration.
Parameters: None
Returns: An int.