The n-strand braid group Bn is generated by σ1,...,σn-1. For this program, the generators are given by lower case letters (σ1=a, σ2=b, σ3=c...) and their inverses by upper case letters (σ1-1=A, σ2-1=B, σ3-1=C...). An input braid, then, is simply a string of letters.
The command comb will return the combed form of the braid, provided the input braid was pure. Enter
and click the button marked EVAL. The quotes are required.
For pure braids, the returned value should be a tuple (π1,...,πk) where πN is and element of a free group on N elements. The free group generators are given by xi=xi while inverses are given by capital letters, xi-1=Xi.
For example,
should return
which tells us that the Artin Combed Form of σ12 is (x1).
This is a jscheme applet from jscheme.sourceforge.net. However, the program running in the applet is my own, as are any bugs or errors.