free-groups

Andrews-Curtis Conjecture (ACC) Challenge. Short trivialisations of balanced presentations of the trivial group: the AC moves, a replay verifier and a measured baseline search, for the SAIR Foundation competition.

MATLAB implementation of polynomial-time algorithms for the compressed word problem in free groups and the word problem in free-by-cyclic groups, following Schleimer, Lohrey, Hagenah and Plandowski. Works on straight-line programs and composition systems without writing out the words.