Sample Algebra Files for

UACalc, A Universal Algebra Calculator

by

Ralph Freese

Here are a few sample algebra files. To download them you may need to right click on the link.

• Polin's algebra
• Lyndon's nonfinitely based groupoid
• A quotient of Lyndon's algebra. It is also nonfinitely based, as noticed by Edmond Lee, in Lyndon's groupoid generates a small almost Cross variety, to appear AU.
• The 2 element lattice
• M₃
• N₅
• Reduct to mulitplication of the 3 element field.