The Universal Algebra Calculator is a mathematical program. It performs computations related to general algebraic structures.
Main features:
- Form direct products.
- Create a factor algebra.
- Generate a subalgebra in a direct power.
- Create free algebras in a finitely generated variety.
- Compute the congruence lattice of an algebra.
- Compute the Tame Congruence Theoretic type labeling.
- Compute four types of centrality.
- Compute all unary polynomials.
- Compute minimal neighborhoods.
Comments