| Name | Description | Type | Package | Framework |
| AbstractIntOperation | This class is not abstract, but has several optional methods which throw an UnsupportedOperationException. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| AbstractOperation | This class implements the basic methods of Operation. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| Algebra | | Interface | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| AlgebraFromMinimalSets | Starting with an algebra B which is permutational (nonconstant unary polynomials are permutations) and a geometry for the | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| Algebras | A class with static methods for algebras. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| AlgebraWithGeneratingVector | | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| BasicAlgebra | This class represents SmallAlgebra's. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| BasicBinaryRelation | | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| BasicPartition | This class implement the basic operations for partition on the set {0, 1, . | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| BasicSet | This class implement the basic set operations on the setVersion:$Id: BasicSet. | Class | org.uacalc.alg.sublat | UACalc ( Universal Algebra Calculator ) |
|
| BigProductAlgebra | This class represents the direct product of SmallAlgebras which is too big to be a SmallAlgebra. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| BinaryRelation | | Interface | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| CentralityData | This will hold two tolerance S and T, a congruence delta centraility, weak centrality, strong rectangularity: Q(S,T,delta), | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| Closer | A class for finding the closure with configurations for several options and fields to hold side results. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| CloserTiming | A class to hold the data for the timing information in the UI. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| CongruenceLattice | A class to represent the congruence lattice of a SmallAlgebra; this is, an algebra with universe | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| FreeAlgebra | This class represents a subalgebra of a direct product of SmallAlgebras. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| GeneralAlgebra | This class represents general algebras that may or may not beVersion:$Id: GeneralAlgebra. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| Malcev | A class with static methods for Mal'cev conditions such as finding Jonsson terms, etc. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| MaltsevDecompositionIterator | An iterator for idempotent algebras giving sections, this is, quotients of subalgebras of the given algebra. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| MaltsevProductDecomposition | Suppose P is a robust property; a property such that if A is an idempotent algebra in the Maltsev product of two idempotent | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| MatrixPowerAlgebra | | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| Operation | This interface specifies an operation, that is, a map from the direct product of some number (called the arity) of a set | Interface | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| Operations | This is a factory class with static methods to make Operations. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| OperationSymbol | An oration symbol. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| OperationWithDefaultValue | A convenience class for the UI. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| ParameterizedAlgebra | This class represents SmallAlgebra's. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| ParameterizedOperation | This class represents SmallAlgebra's. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| Partition | This interface specifies the basic operations for partitions on the set {0, 1, . | Interface | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| Partition .PrintType | Printing types: the internal representation. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| PolinLikeAlgebra | Given a homomorphism f: A to B, this constructs a Polin type algebra on the disjoint union of A and B. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| Polymorphisms | Given a collections of partition on a set this calculates the polymorphisms of hte coollection. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| PowerAlgebra | This class represents the direct product of SmallAlgebras. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| ProductAlgebra | This class represents the direct product of SmallAlgebras. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| QuotientAlgebra | This class represents a quotient algebra of a SmallAlgebra. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| QuotientElement | This class represents an element in a quotient algebra. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| ReductAlgebra | This class represents a reduct of a SmallAlgebra to a list of Terms. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| SimilarityType | A set of OperationSymbol's. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| SmallAlgebra | A small algebra is one whose universe can be effectively indexed by {0,. | Interface | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| SmallAlgebra .AlgebraType | | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| Subalgebra | This class represents a subalgebra of a SmallAlgebra. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| SubalgebraLattice | A class to represent the subalgebra lattice of a basic algebra; this is, an algebra with universe | Class | org.uacalc.alg.sublat | UACalc ( Universal Algebra Calculator ) |
|
| SubProductAlgebra | This class represents a subalgebra of a direct product of SmallAlgebras. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |
|
| Subtrace | A class to hold a subtrace {a, b} and its TCT type. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| TermOperation | This interface specifies a term operation, that is, the interpretation of a term in an algebra. | Interface | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| TermOperationImp | This interface specifies a term operation, that is, the interpretation of a term in an algebra. | Class | org.uacalc.alg.op | UACalc ( Universal Algebra Calculator ) |
|
| 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. | Class | org.uacalc.alg.conlat | UACalc ( Universal Algebra Calculator ) |
|
| UnaryTermsMonoid | The monoid or semigroup of unary terms. | Class | org.uacalc.alg | UACalc ( Universal Algebra Calculator ) |