Methods¶
This page contains information about the methods of the
Konieczny.DClass class.
- Konieczny.DClass.contains(self: Konieczny.DClass, x: Element) bool¶
Test membership of an element in a \(\mathscr{D}\)-class.
- Parameters
x (Element) -- a possible element.
- Returns
A
bool.
- Konieczny.DClass.is_regular_D_class(self: Konieczny.DClass) bool¶
Test regularity of a \(\mathscr{D}\)-class.
- Parameters
None
- Returns
A
bool.
- Konieczny.DClass.number_of_R_classes(self: Konieczny.DClass) int¶
Returns the number of \(\mathscr{R}\)-classes.
- Parameters
None
- Returns
An integer.
- Konieczny.DClass.number_of_L_classes(self: Konieczny.DClass) int¶
Returns the number of \(\mathscr{L}\)-classes.
- Parameters
None
- Returns
An integer.
- Konieczny.DClass.number_of_idempotents(self: Konieczny.DClass) int¶
Returns the number of idempotents.
- Parameters
None
- Returns
An
int.
- Konieczny.DClass.rep(self: Konieczny.DClass) Element¶
Returns a representative of the \(\mathscr{D}\)-class.
- Parameters
None
- Returns
An
Element.
- Konieczny.DClass.size(self: Konieczny.DClass) int¶
Returns the size of a \(\mathscr{D}\)-class.
- Parameters
None
- Returns
An
int.
- Konieczny.DClass.size_H_class(self: Konieczny.DClass) int¶
Returns the size of the \(\mathscr{H}\)-classes.
- Parameters
None
- Returns
An
int.