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