## 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
_{3} - N
_{5} - Reduct to mulitplication of the 3 element field.