Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods

Homotopy continuation methods have been proved to be an efficient and reliable class of numerical methods for solving systems of polynomial equations which occur frequently in various fields of mathematics, science, and engineering. Based on the successful software package Hom4PS-2.0 for solving such polynomial systems, Hom4PS-3 has a new fully modular design which allows it to be easily extended. It implements many different numerical homotopy methods including the Polyhedral Homotopy continuation method. Furthermore, it is capable of carrying out computation in parallel on a wide range of hardware architectures including multi-core systems, computer clusters, distributed environments, and GPUs with great efficiency and scalability. Designed to be user-friendly, it includes interfaces to a variety of existing mathematical software and programming languages such as Python, Ruby, Octave, Sage and Matlab.

[1]  Henry Schenck.  Review: D.J. Bates, J.D. Hauenstein, A.J. Sommese, and C.W. Wampler's Numerically solving polynomial systems with Bertini , 2015 .

[2]  Bernd Sturmfels,et al.  A polyhedral method for solving sparse polynomial systems , 1995 .

[3]  D. N. Bernshtein.  The number of roots of a system of equations , 1975 .

[4]  Jonathan D. Hauenstein,et al.  Numerically Solving Polynomial Systems with Bertini , 2013, Software, environments, tools.

[5]  Xiaoshen Wang,et al.  The BKK root count in Cn , 1996, Math. Comput..

[6]  Tsung-Lin Lee,et al.  HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method , 2008, Computing.

[7]  C. B. García,et al.  Finding all solutions to polynomial systems and other systems of equations , 1979, Math. Program..

[8]  E. Allgower,et al.  Introduction to Numerical Continuation Methods , 1987 .

[9]  Jan Verschelde,et al.  Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation , 1999, TOMS.

[10]  J. Yorke,et al.  The cheater's homotopy: an efficient procedure for solving systems of polynomial equations , 1989 .

[11]  A. Morgan.  Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems , 1987 .

[12]  Andrew J. Sommese,et al.  The numerical solution of systems of polynomials - arising in engineering and science , 2005 .

[13]  Akiko Takeda,et al.  PHoM – a Polyhedral Homotopy Continuation Method for Polynomial Systems , 2004, Computing.

[14]  Tien-Yien Li.  Numerical Solution of Polynomial Systems by Homotopy Continuation Methods , 2003 .

[15]  F. Drexler.  Eine Methode zur berechnung sämtlicher Lösungen von Polynomgleichungssystemen , 1977 .

[16]  Tien-Yien Li,et al.  HOM4PS-2.0para: Parallelization of HOM4PS-2.0 for solving polynomial systems , 2009, Parallel Comput..

[17]  A. Morgan,et al.  Coefficient-parameter polynomial continuation , 1989 .

[18]  Layne T. Watson,et al.  Algorithm 652: HOMPACK: a suite of codes for globally convergent homotopy algorithms , 1987, TOMS.