Solving tangle equations arising in a DNA recombination model

In the tangle model for DNA site-specific recombination, one is required to solve simultaneous equations for unknown tangles which are summands of observed DNA knots and links. For 0[les ]i[les ]3, given fixed 4-plats Ki where the set {K1, K2, K3} contains at least two distinct 4-plats, let O and R denote unknown 2-string tangles such that {O, R} are the variables in the system of four tangle equations N(O+iR)=Ki, where N is the numerator construction, and nR denotes the tangle sum of n copies of R. Then there is at most one simultaneous solution {O, R} and this solution must be of the form R an integral tangle and O either a rational tangle or the sum of two rational tangles. In addition, if there exists a solution, then at least one of the 4-plats is chiral. We exhibit an algorithm for solving simultaneous tangle equations of this form.