Algorithm 801: POLSYS_PLP: A partitioned linear product homotopy code for solving polynomial systems of equations

ACM Transactions on Mathematical Software

Volumn 26, Issue 1, 2000, Pages 176-200

  Wise, Steven M ^a   Sommese, Andrew J ^b   Watson, Layne T ^a  

^a VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

^b UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

Algorithms; Chow Yorke algorithm; Curve tracking; Fixed point; Globally convergent; Homotopy methods; m homogeneous; Partitioned linear product; Probability one; Zero

Indexed keywords

EID: 0002299927     PISSN: 00983500     EISSN: None     Source Type: Journal    
DOI: 10.1145/347837.347885     Document Type: Article

References (33)

1. ALLGOWER, E. L. AND GEORG, K. 1990. Numerical Continuation Methods. Springer-Verlag, Berlin, Germany.
2. ANDERSON E., BAI, Z., BISCHOF, C., DEMMEL, J., DONGARRA, J., DUCROZ, J., GREENBAUM, A., HAMMARLING, S., MCKENNEY, A., OSTROUCHOV, S., AND SORENSEN, D. 1995. LAPACK Users' Guide. 2nd ed. SIAM, Philadelphia, PA.
3. BJÖRCK, G. AND FRÖBERG, R. 1991. A faster way to count the solutions of inhomogeneous systems of algebraic equations, with applications to cyclic n-roots. J. Symb. Comput. 12, 3 (Sept. 1991), 329-336.
4. BLUM, L., CUCKER, F., SHUB, M., AND SMALE, S. 1998. Complexity and Real Computation. Springer-Verlag, Secaucus, NJ.
5. CHOW, S. N., MALLET-PARET, J., AND YORKE, J. A. 1979. A homotopy method for locating all zeros of a system of polynomials. In Functional Differential Equations and Approximation of Fixed Points, H. O. Peitgen and H. O. Walther, Eds. Springer Lecture Notes in Mathematics, vol. 730. Springer-Verlag, New York, NY, 228-237.
6. DREXLER, F. J. 1979. Eine methode zur berechung sämtlicher lösunger von polynomgleichungessystemen. Numer. Math. 29, 1, 45-58.
7. GARCIA, C. B. AND ZANGWILL, W. I. 1977. Global continuation methods for finding all solutions to polynomial systems of equations in N variables. Center for Math Studies in Business and Economics Rep. 7755. University of Chicago, Chicago, IL.
8. GRIEWANK, A. 1985. On solving nonlinear equations with simple singularities or nearly singular solutions. SIAM Rev. 27, 4, 537-563.
9. LUNDBERG, B. N. AND POORE, A. B. 1991. Variable order Adams-Bashforth predictors with an error-stepsize control for continuation methods. SIAM J. Sci. Stat. Comput. 12, 3 (May 1991), 695-723.
10. MEINTJES, K. AND MORGAN, A. P 1987. A methodology for solving chemical equilibrium systems. Appl. Math. Comput. 22, 4 (June 1987), 333-361.
11. MORGAN, A. P. 1983. A method for computing all solutions to systems of polynomial equations. ACM Trans. Math. Softw. 9, 1 (Mar.), 1-17.
12. MORGAN, A. P. 1986a. A transformation to avoid solutions at infinity for polynomial systems. Appl. Math. Comput. 18, 1, 77-86.
13. MORGAN, A. P. 1986b. A homotopy for solving polynomial systems. Appl. Math. Comput. 18, 1, 87-92.
14. MORGAN, A. P. 1987. Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems. Prentice-Hall, Inc., Upper Saddle River, NJ.
15. MORGAN, A. AND SOMMESE, A. 1987a. A homotopy for solving general polynomial systems that respects m-homogenous structures. Appl. Math. Comput. 24, 2 (Nov. 1987), 101-113.
16. MORGAN, A. AND SOMMESE, A. 1987b. Computing all solutions to polynomial systems using homotopy continuation. Appl. Math. Comput. 24, 2 (Nov. 1987), 115-138.
17. MORGAN, A. P. AND WATSON, L. T. 1989. A globally convergent parallel algorithm for zeros of polynomial systems. Non-Linear Anal. 13, 11 (Nov. 1989), 1339-1352.
18. MORGAN, A. P., SOMMESE, A. J., AND WAMPLER, C. W. 1991. Computing singular solutions to nonlinear analytic systems. Numer. Math. 58, 669-684.
19. MORGAN, A. P., SOMMESE, A. J., AND WAMPLER, C. W. 1992a. Computing singular solutions to polynomial systems. Adv. Appl. Math. 13, 3 (Sept. 1992), 305-327.
20. MORGAN, A. P., SOMMESE, A. J., AND WAMPLER, C. W. 1992b. A power series method for computing singular solutions to nonlinear analytic systems. Numer. Math. 63, 391-409.
21. MORGAN, A. P., SOMMESE, A. J., AND WAMPLER, C. W. 1995. A product-decomposition bound for Bezout numbers. SIAM J. Numer. Anal. 32, 4 (Aug. 1995), 1308-1325.
22. MORGAN, A. P., SOMMESE, A. J., AND WATSON, L. T. 1989. Finding all isolated solutions to polynomial systems using HOMPACK. ACM Trans. Math. Softw. 15, 2 (June 1989), 93-122.
23. SOSONKINA, M., WATSON, L. T., AND STEWART, D. E. 1996. Note on the end game in homotopy zero curve tracking. ACM Trans. Math. Softw. 22, 3 (Sept.), 281-287.
24. TSAI, L.-W. AND MORGAN, A. P. 1985. Solving the kinematics of the most general six- and five-degree-of-freedom manipulators by continuation methods. ASME J. Mech. Trans. Automat. Des. 107, 48-57.
25. VAN DER WAERDEN, B. L. 1953. Modern Algebra. Frederick Ungar, New York, NY. Volumes 1 and 2.
26. VERSCHELDE, J. 1996. Homotopy continuation methods for solving polynomial systems. Ph.D. Dissertation. Department of Computer Science, Katholieke Universiteit Leuven, Leuven, Belgium.
27. VERSCHELDE, J. 1997. PHCPACK: A general-purpose solver for polynomial systems by homotopy continuation. Preprint.
28. VERSCHELDE, J. AND COOLS, R. 1993. Symbolic homotopy construction. Appl. Alg. Eng. Commun. Comput. 4, 169-183.
29. VERSCHELDE, J. AND HAEGEMANS, A. 1993. The GBQ-algorithm for constructing start systems of homotopies for polynomial systems. SIAM J. Numer. Anal. 30, 2 (Apr. 1993), 583-594.
30. WAMPLER, C. W. 1994. An efficient start system for multi-homogeneous polynomial continuation. Numer. Math. 66, 4, 517-523.
31. WATSON, L. T., BILLUPS, S. C., AND MORGAN, A. P. 1987. ALGORITHM 652: HOMPACK: A suite of codes for globally convergent homotopy algorithms. ACM Trans. Math. Softw. 13, 3 (Sept. 1987), 281-310.
32. WATSON, L. T., SOSONKINA, M., MELVILLE, R. C., MORGAN, A. P., AND WALKER, H. F. 1997. Algorithm 777: HOMPACK90: A suite of Fortran 90 codes for globally convergent homotopy algorithms. ACM Trans. Math. Softw. 23, 4, 514-549.
33. WRIGHT, A. H. 1985. Finding all solutions to a system of polynomial equations. Math. Comput. 44 (Jan. 1985), 125-133.