The files in this repository are related to our research on testing for existence of certain kinds of terms, or the omission of certain ideals of tct types, in varieties generated by finite algebras.
Most of this work was carried out at the University of Hawaii during the Fall 2016 and Spring 2017 semesters in the Universal Algebra and Lattice Theory Seminar.
Seminar Participants: William DeMeo, Ralph Freese, Alex Guillen, Tristan Holmes, Bill Lampe, JB Nation, Matt Valeriote
Abridged List of Files
-
PITCHME.md --- this file is used to create slides for a talk about our work. To view the slides, visit the gitpitch page. To improve the slides, edit the PITCHME.md file.
-
DiffTerm --- a draft of a paper describing our work on this project.
-
notes --- notes about some of the things we discussed during the seminar.
-
nsjom --- a rough draft of an alternative paper-in-progress describing a polytime algorithm for deciding whether a finite idempotent algebra has a difference term.
-
alt-comm --- includes a short note on a description of the commutator that explains how it can be computed in polynomial-time.
If you wish to contribute to this repository, the correct way is to use the standard fork-clone-pull-request workflow described here.
If you identify an issue that should be addressed by contributors to this repository, please open a new issue.
Thanks for your interest in this work!