Algorithm 801: POLSYS_PLP
- 1 March 2000
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 26 (1) , 176-200
- https://doi.org/10.1145/347837.347885
Abstract
Globally convergent, probability-one homotopy methods have proven to be very effective for finding all the isolated solutions to polynomial systems of equations. After many years of development, homotopy path trackers based on probability-one homotopy methods are reliable and fast. Now, theoretical advances reducing the number of homotopy paths that must be tracked, and in the handling of singular solutions, have made probability-one homotopy methods even more practical. POLSYS_PLP consists of Fortran 90 modules for finding all isolated solutions of a complex coefficient polynomial system of equations. The package is intended to be used in conjunction with HOMPACK90 (Algorithm 777), and makes extensive use of Fortran 90 derived data types to support a partitioned linear product (PLP) polynomial system structure. PLP structure is a generalization of m -homogeneous structure, whereby each component of the system can have a different m -homogeneous structure. The code requires a PLP structure as input, and although finding the optimal PLP structure is a difficult combinatorial problem, generally physical or engineering intuition about a problem yields a very good structure. POLSYS_PLP employs a sophisticated power series end game for handling singular solutions, and provides support for problem definition both at a high level and via hand-crafted code. Different PLP structures and their corresponding BezoutKeywords
This publication has 21 references indexed in Scilit:
- Algorithm 777: HOMPACK90ACM Transactions on Mathematical Software, 1997
- Note on the end game in homotopy zero curve trackingACM Transactions on Mathematical Software, 1996
- Symbolic homotopy constructionApplicable Algebra in Engineering, Communication and Computing, 1993
- A power series method for computing singular solutions to nonlinear analytic systemsNumerische Mathematik, 1992
- Computing singular solutions to nonlinear analytic systemsNumerische Mathematik, 1990
- A globally convergent parallel algorithm for zeros of polynomial systemsNonlinear Analysis, 1989
- Finding all isolated solutions to polynomial systems using HOMPACKACM Transactions on Mathematical Software, 1989
- Algorithm 652ACM Transactions on Mathematical Software, 1987
- A Method for Computing All Solutions to Systems of Polynomials EquationsACM Transactions on Mathematical Software, 1983
- Eine Methode zur berechnung s mtlicher L sungen von PolynomgleichungssystemenNumerische Mathematik, 1977