Konieczny.DClass¶

class Konieczny.DClass¶

The nested abstract class Konieczny.DClass represents a \(\mathscr{D}\)-class of a finite semigroup via a frame as computed in Konieczny’s algorithm. See Konieczny for more details.

Konieczny.DClass instances cannot be directly constructed; instead you should obtain a \(\mathscr{D}\)-class by calling Konieczny.D_class_of_element().

Methods¶

`Konieczny.DClass.contains()`	Test membership of an element.
`Konieczny.DClass.is_regular_D_class()`	Test regularity of a \(\mathscr{D}\)-class.
`Konieczny.DClass.number_of_L_classes()`	Returns the number of \(\mathscr{L}\)-classes.
`Konieczny.DClass.number_of_R_classes()`	Returns the number of \(\mathscr{R}\)-classes.
`Konieczny.DClass.number_of_idempotents()`	Returns the number of idempotents.
`Konieczny.DClass.rep()`	Returns a representative of the \(\mathscr{D}\)-class.
`Konieczny.DClass.size()`	Returns the size of a \(\mathscr{D}\)-class.
`Konieczny.DClass.size_H_class()`	Returns the size of the \(\mathscr{H}\)-classes.