Accompanying code to "The Klein bottle has stably unbounded homeomorphism group"

Accompanying code for the article "The Klein bottle has stably unbounded homeomorphism group".

Three of the files are used to check that a specific word is not automorphism-equivalent to its inverse (whitehead-f3-functions.gap, check-reversibility-f3.gap, check-candidate-word.gaplog). One file provides the necessary functions to carry out the check, one file is a script that carries out the check, and the last is a log of a GAP session carrying out the check.

The other three files are concerned with checking that the Keep homomorphism behaves as described in the proof of theorem 3. One file implements the appropriate  homomorphisms, one is a log of a GAP session carrying out the check, and the last illustrates the generators chosen together with the pushes on the Klein bottle that are lifted.