An algorithm to classify rational 3-tangles
arXiv:1406.4496
Abstract
A - is the disjoint union of properly embedded arcs in the unit 3-ball; it is called rational if there is a homeomorphism of pairs from to . Two rational 3-tangles and are isotopic if there is an orientation-preserving self-homeomorphism that is the identity map on the boundary. In this paper, we give an algorithm to check whether or not two rational 3-tangles are isotopic by using a modified version of Dehn's method for classifying simple closed curves on surfaces.