Homotopies for Intersecting Solution Components of Polynomial Systems

Abstract

We show how to use numerical continuation to compute the intersection $C=A\cap B$ of two algebraic sets A and B, where A, B, and C are numerically represented by witness sets. En route to this result, we first show how to find the irreducible decomposition of a system of polynomials restricted to an algebraic set. The intersection of components A and B then follows by considering the decomposition of the diagonal system of equations u - v = 0 restricted to {u,v}$\in$ A $\times$ B. An offshoot of this new approach is that one can solve a large system of equations by finding the solution components of its subsystems and then intersecting these. It also allows one to find the intersection of two components of the two polynomial systems, which is not possible with any previous numerical continuation approach.