This repo is a collection of notes and prototypes for the 2020 summer project focused on implementing efficient algorithms for the word problem in free bands
- Read section 4.5 of Howie's book "Fundamentals of Semigroup Theory"
- Understand the paper "Efficient Testing of Equivalence of Words
in a Free Idempotent Semigroup" by Jakub Radoszewski and Wojciech Rytter
- Produce interval automaton (Fig 1. in paper)
- Explain this to James
- Implement the algorithm
- Prototype in python
- Implement in GAP for tests
- Implement Right
- Add tests for Right
- Implement LevelEdges
- Add tests for LevelEdges
- Implement RadixSort
- Add tests for RadixSort
- Implement Right
- Implement in C++ for libsemigroups