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 ) |