How do I check that a braid word represents trivial braid (using Dehornoy forms)?
How do I check that a braid word represents trivial braid (using Thurston's left normal forms)?
How do I check that a braid word represents trivial braid (using Thurston's right normal forms)?
How do I generate a random freely reduced braid word from B_N of length L?
How do I invert a braid word?
How do I multiply braid words?
