Interfacing with the Numerical Homotopy Algorithms in PHCpack

PHCpack implements numerical algorithms for solving polynomial systems using homotopy continuation methods. In this paper we describe two types of interfaces to PHCpack. The first interface PHCmaple originally follows OpenXM, in the sense that the program (in our case Maple) that uses PHCpack needs only the executable version phc built by the package PHCpack. Following the recent development of PHCpack, PHCmaple has been extended with functions that deal with singular polynomial systems, in particular, the deflation procedures that guarantee the ability to refine approximations to an isolated solution even if it is multiple. The second interface to PHCpack was developed in conjunction with MPI (Message Passing Interface), needed to run the path trackers on parallel machines. This interface gives access to the functionality of PHCpack as a conventional software library.

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

[2]  Jan Verschelde,et al.  Computing dynamic output feedback laws , 2004, IEEE Transactions on Automatic Control.

[3]  Alicia Dickenstein,et al.  Solving Polynomial Equations , 2005 .

[4]  H. Bez,et al.  Computer mathematics , 1984 .

[5]  B. Sturmfels.  SOLVING SYSTEMS OF POLYNOMIAL EQUATIONS , 2002 .

[6]  Anton Leykin,et al.  Factoring solution sets of polynomial systems in parallel , 2005, 2005 International Conference on Parallel Processing Workshops (ICPPW'05).

[7]  Jan Verschelde,et al.  Solving Polynomial Systems Equation by Equation , 2008 .

[8]  Andrew J. Sommese,et al.  Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components , 2000, SIAM J. Numer. Anal..

[9]  Anton Leykin,et al.  Parallel Homotopy Algorithms to Solve Polynomial Systems , 2006, ICMS.

[10]  Nobuki Takayama,et al.  Algebra,Geometry and Software Systems , 2003 .

[11]  Andrés Iglesias,et al.  Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings , 2006, ICMS.

[12]  Christoph Lossen,et al.  A COMPUTER ALGEBRA SYSTEM , 2003 .

[13]  Andrew J. Sommese,et al.  Numerical Irreducible Decomposition Using PHCpack , 2003, Algebra, Geometry, and Software Systems.

[14]  Erich Kaltofen,et al.  Computer algebra handbook , 2002 .

[15]  Jan Verschelde,et al.  Regeneration, local dimension, and applications in numerical algebraic geometry , 2009 .

[16]  Masayuki Noro,et al.  A Computer Algebra System: Risa/Asir , 2003, Algebra, Geometry, and Software Systems.

[17]  Anton Leykin,et al.  PHCmaple : A Maple Interface to the Numerical Homotopy Algorithms in PHCpack ∗ , 2004 .

[18]  Masayuki Noro,et al.  THE DESIGN AND IMPLEMENTATION OF OpenXM-RFC 100 AND 101 , 2001 .

[19]  Yan Zhuang,et al.  Parallel implementation of the polyhedral homotopy method , 2006, 2006 International Conference on Parallel Processing Workshops (ICPPW'06).

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

[21]  Jack Dongarra,et al.  MPI - The Complete Reference: Volume 1, The MPI Core , 1998 .

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

[23]  Anton Leykin,et al.  Evaluation of Jacobian Matrices for Newton’s Method with Deflation to Approximate Isolated Singular Solutions of Polynomial Systems , 2007 .

[24]  Hans J. Stetter,et al.  Numerical polynomial algebra , 2004 .

[25]  Wenyuan Wu,et al.  Symbolic-numeric completion of differential systems by homotopy continuation , 2005, ISSAC.

[26]  Anton Leykin,et al.  Newton's method with deflation for isolated singularities of polynomial systems , 2006, Theor. Comput. Sci..

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

[28]  Jan Verschelde,et al.  Computing feedback laws for linear systems with a parallel pieri homotopy , 2004, Workshops on Mobile and Wireless Networking/High Performance Scientific, Engineering Computing/Network Design and Architecture/Optical Networks Control and Management/Ad Hoc and Sensor Networks/Compil.

[29]  Masayuki Noro,et al.  OpenXM — an open system to integrate mathematical software (poster session) , 2001 .

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

[31]  Rong Zeng,et al.  The Design and Implementation of , 2002 .