# Checker for A14 # Standard relations chor 1 3 chor 2 13 mu 1 2 3 chor 3 12 com 1 2 4 chor 4 2 # Compute word t whose order is in the taming set of the 3-cycles pwr 3 2 5 mu 3 5 6 chor 6 33 # Power up to a 3-cycle t^(o/3) pwr 11 6 7 # Compute word u to conjugate by mu 1 6 8 # Check whether x is a 3-cycle cj 7 8 9 mu 1 9 10 chor 10 2