This new category comprises the family of all braid groups. Note that this special class of finitely presented groups has a solvable word problem. Recently, braid groups have received some interest as possible sources of cryptosystems.
Algorithms for fast element arithmetic and normal form computations
for elements have been implemented. Homomorphisms whose domain or
codomain is a braid group are supported.