Braid group equivalence, i.e. true if a and b represent the same group element

Compress braid a by iterative reduction of garside conjugate

Do an in-place free simplificaton of a, recursively cancelling out consecutive inverses

Conjugation with the garside element Δ, equivalent to rotating the braid 180 degrees around an horizontal axis.

Is i, j a handle for a?

Fetch the main generator of a

Find next permitted handle of a, return 0,0ifa` is already reduced

Permutation of strands of a between the two ends of the braid

Produce an expression of a in powers of generators, in the form of a Vector of tuples (generator, power)

Random braid with given width and length

In-place Dehornoy H-step

In-place Dehornoy reduction of a

Dehornoy reduction of a

One H-step of Dehornoy reduction of a on handle i,j