|
Class Summary |
| BasicBinaryRelation |
|
| BasicPartition |
This class implement the basic operations for partition on the set
{0, 1, ..., n-1}. |
| CentralityData |
This will hold two tolerance S and T, a congruence delta
and the status of
centraility, weak centrality, strong rectangularity: Q(S,T,delta),
including failure info and commutators. |
| CongruenceLattice |
A class to represent the congruence lattice of a SmallAlgebra;
this is, an algebra with universe
the integers from 0 to n-1. |
| Subtrace |
A class to hold a subtrace {a, b} and its TCT type. |
| TypeFinder |
A utility class to find a subtrace {a, b} and its TCT type of a
covering beta/beta_* for some join irreducible congruence beta. |