Symmetric functions applied to decomposing solution sets of polynomial systems

SIAM Journal on Numerical Analysis

Volumn 40, Issue 6, 2002, Pages 2026-2046

  Sommese, Andrew J ^a   Verschelde, Jan ^b   Wampler, Charles W ^c  

^a UNIVERSITY OF NOTRE DAME   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^c GENERAL MOTORS CORPORATION   (United States)

Author keywords

Components of solutions; Divided differences; Embedding; Generic points; Homotopy continuation; Irreducible components; Monodromy; Newton identities; Newton interpolation; Numerical algebraic geometry; Polynomial system; Symmetric functions; Traces

Indexed keywords

DIVIDEND DIFFERENCES; GENERIC POINTS; HOMOTOPY CONTINUATION; IRREDUCIBLE COMPONENTS; MONODROMY; NEWTON IDENTITIES; NEWTON INTERPOLATION; POLYNOMIAL SYSTEMS; SYMMETRIC FUNCTIONS;

ALGORITHMS; COMPUTATIONAL METHODS; DEGREES OF FREEDOM (MECHANICS); FUNCTIONS; GEOMETRY; INTERPOLATION; KINEMATICS; MECHANICAL ENGINEERING;

POLYNOMIALS;

EID: 0042735311     PISSN: 00361429     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0036142901397101     Document Type: Article

References (35)

1. E. ARBARELLO, M. CORNALBA, P.A. GRIFFITHS, AND J. HARRIS, Geometry of Algebraic Curves, Vol. I., Grundlehren Math. Wisa. 267, Springer-Verlag, New York, 1985.
2. G. BJÖRCK AND R. FRÖBERG, Methods to "divide out" certain solutions from systems of algebraic equations, applied to find all cyclic 8-roots, in Analysis, Algebra and Computers in Mathematical Research, Lecture Notes in Pure and Appl. Math. 156, M. Gyllenberg and L.E. Persson, eds., Dekker, New York, 1994, pp. 57-70.
3. R.M. CORLESS, A. GALLIGO, I.S. KOTSIREAS, AND S.M. WATT, A geometric-numeric algorithm for factoring multivariate polynomials, in Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation (ISSAC 2002), T. Mora, ed., ACM, New York, to appear.
4. 4), J. Pure Appl. Algebra, 139 (1999), pp. 61-88
5. W. FULTON, Intersection Theory, Ergeb. Math. Grenzgeb. (3) 2, Springer-Verlag, Berlin, 1984.
6. A. GALLIGO AND D. RUPPRECHT, Semi-numerical determination of irreducible branches of a reduced space curve, in Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation (ISSAC 2001), B. Mourrain, ed., ACM, New York, 2001, pp. 137-142.
7. M. GORESKY AND R. MACPHERSON, Stratified Morse Theory, Ergeb. Math. Grenzgeb. 14, Springer-Verlag. Berlin, 1988.
8. R.C. GUNNING, Introduction to Holomorphic Functions of Several Complex Variables. Vol. II. Local Theory, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1990.
9. R.C. GUNNING AND H. ROSSI, Analytic Functions of Several Complex Variables, Prentice-Hall, Englewood Cliffs, NJ, 1965.
10. M.L. HUSTY, An algorithm for solving the direct kinematics of general Stewart-Gough platforms, Mech. Mach. Theory, 31 (1996), pp. 365-380.
11. M.L. HUSTY AND A. KARGER, Self-motions of Griffis-Duffy type parallel manipulators, in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, CA, CDROM, IEEE, Piscataway, NJ, 2000.
12. E. ISAACSON AND H.B. KELLER, Analysis of Numerical Methods, Dover, New York, 1994.
13. P. KIRRINNIS, Fast numerical improvement of factors of polynomials and of partial fractions, in Proceedings of ISSAC'98, O. Gloor, ed., ACM, New York, 1998, pp. 260-267.
14. S.L. KLEIMAN, Tangency and duality, in Proceedings of the 1984 Vancouver Conference in Algebraic Geometry, CMS Conf. Proc. 6, J.B. Carrell, A.V. Geramita, and P. Russell, eds., AMS, Providence, RI, 1986, pp. 163-225.
15. T.Y. LI AND X. LI, Finding mixed cells in the mixed volume computation, Found. Comput. Math., 1 (2001), pp. 161-181.
16. M. MIGNOTTE AND D. ŞTEFǍNESCU, Polynomials. An Algorithmic Approach, Springer-Verlag, Singapore, 1999.
17. V.V. PAN, Solving a polynomial equation: Some history and recent progress, SIAM Rev., 39 (1997), pp. 187-220.
18. L. PASQUINI AND D. TRIGIANTE, A globally convergent method for simultaneously finding polynomial roots, Math. Comp., 44 (1985), pp. 135-149.
19. M. RAGHAVAN, The Stewart platform of general geometry has 40 configurations, ASME J. Mech. Design, 115 (1993), pp. 277-282.
20. D. RUPPRECHT, Semi-numerical absolute factorization of polynomials with integer coefficients, J. Symbolic Comput., to appear.
21. T. SASAKI, Approximate multivariate polynomial factorization based on zero-sum relations, in Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation (ISSAC 2001), B. Mourrain, ed., ACM, New York, 2001, pp. 284-291.
22. T. SASAKI, T. SAITO, AND T. HILANO, Analysis of approximate factorization algorithm I, Japan J. Indust. Appl. Math., 9 (1992), pp. 351-368.
23. T. SASAKI AND M. SASAKI, A unified method for multivariate polynomial factorizations, Japan J. Indust. Appl. Math., 10 (1993), pp. 21-39.
24. T. SASAKI, M. SUZUKI, M. KOLAR, AND M. SASAKI, Approximate factorization of multivariate polynomials and absolute irreducibility testing, Japan J. Indust. Appl. Math., 8 (1991), pp. 357-375.
25. B. SHIFFMAN AND A.J. SOMMESE, Vanishing Theorems on Complex Manifolds, Prog. Math. 56, Birkhäuser, Boston, 1985.
26. A.J. SOMMESE AND J. VERSCHELDE, Numerical homotopies to compute generic points on positive dimensional algebraic sets, J. Complexity, 16 (2000), pp. 572-602.
27. A.J. SOMMESE, J. VERSCHELDE, AND C.W. WAMPLER, Numerical decomposition of the solution sets of polynomial systems into irreducible components, SIAM J. Numer. Anal., 38 (2001), pp. 2022-2046.
28. A.J. SOMMESE, J. VERSCHELDE, AND C.W. WAMPLER, Numerical irreducible decomposition using projections from points on the components, in Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Contemp. Math. 286, E.L. Green, S. Hoşten, R.C. Laubenbacher, and V. Powers, eds., AMS, Providence, RI, 2001, pp. 37-51.
29. A.J. SOMMESE, J. VERSCHELDE, AND C.W. WAMPLER, Using monodromy to decompose solution sets of polynomial systems into irreducible components, in Application of Algebraic Geometry to Coding Theory, Physics and Computation, C. Ciliberto, F. Hirzebruch, R. Miranda, and M. Teicher, eds., Kluwer Academic Publishers, Norwell, MA, 2001, pp. 297-315.
30. A.J. SOMMESE, J. VERSCHELDE, AND C.W. WAMPLER, Numerical irreducible decomposition using PHCpack, in Mathematics and Visualization, M. Joswig and N. Takayama, eds., Springer-Verlag, to appear.
31. A.J. SOMMESE, J. VERSCHELDE, AND C.W. WAMPLER, A method for tracking singular paths with application to the numerical irreducible decomposition, in Algebraic Geometry, a Volume in Memory of Paolo Francia, M.C. Beltrametti, F. Catanese, C. Ciliberto, A. Lanteri, C. Pedrini. and W. de Gruyter, eds., to appear.
32. A.J. SOMMESE, J. VERSCHELDE. AND C.W. WAMPLER, Advances in polynomial continuation for solving problems in kinematics, in Proceedings of the ASME Design Engineering Technical Conference, Montreal, 2002, CD-ROM, ASME International, Fairfield, NJ, 2002.
33. A.J. SOMMESE AND C.W. WAMPLER, Numerical algebraic geometry, in The Mathematics of Numerical Analysis, Lectures in Appl. Math. 32, J. Renegar, M. Shub, and S. Smale, eds., AMS, Providence, RI, 1996, pp. 749-763.
34. J. VERSCHELDE, Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation, ACM Trans. Math. Software, 25 (1999), pp. 251-276.
35. C.W. WAMPLER, Forward displacement analysis of general six-in-parallel SPS (Stewart) plat-form manipulators using soma coordinates, Mech. Mach. Theory, 31 (1996), pp. 331-337.