| Interface | Description |
|---|---|
| BinaryRelation | |
| Partition |
This interface specifies the basic operations for partitions on the set
{0, 1, ..., n-1}.
|
| Class | Description |
|---|---|
| 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.
|
| Polymorphisms |
Given a collections of partition on a set
this calculates the polymorphisms of hte coollection.
|
| 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.
|
| Enum | Description |
|---|---|
| Partition.PrintType |
Printing types: the internal representation.
|
Copyright 2003 Ralph Freese. All Rights Reserved.