How do I check if two words over the Grigorchuk group alphabet are conjugate and if so find a conjuator?
How do I check if two words over the Grigorchuk group alphabet are conjugate?
How do I check that a word over the Grigorchuk group alphabet is trivial?
How do I randomly generate a random reduced word?