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