Class Summary |
Algebra |
Universal algebra class. |
Isomorphism |
Class encapsulation a mapping (as an isomorphic function) and isomorphism (similarity)
degree between two algebras |
PermutationGenerator |
The PermutationGenerator Java class systematically generates permutations. |
Relation |
Class encapsulation elements in a relation + characteristic predicate value,
for a given relation signature. |
RelationSignature |
Relation signature, encapsulating relation types, arity and a distinctive name. |
Signature |
Signature for universal algebras. |