Numerical irreducible decomposition. (English) Zbl 1027.65066
Joswig, Michael (ed.) et al., Algebra, geometry, and software systems. Berlin: Springer. 109-129 (2003).
The authors give a dictionary for translating the key concepts of algebraic geometry to define an irreducible decomposition into data structures used by numerical algorithms.
Homotopy continuation methods are efficient to approximate all isolated solutions of polynomial systems. This involves the use of computational geometry techniques to compute a homotopy with start points combined with numerical methods to follow the solution paths defined by the homotopies.
The authors show how can be used this capability as a blackbox device to solve systems which have positive-dimensional components of solutions and they describe a simple Maple procedure to call the blackbox solver of PHCpack. Via sampling and projecting they obtain a numerical elimination procedure and they illustrate this sampling on three-dimensional spatial mechanical linkage, using Maple as a plotting tool. They also develop a low level interface to call the Ada routines from C programs.
Finally, they list some of their major benchmark applications.
For the entire collection see [Zbl 1008.00013].
Homotopy continuation methods are efficient to approximate all isolated solutions of polynomial systems. This involves the use of computational geometry techniques to compute a homotopy with start points combined with numerical methods to follow the solution paths defined by the homotopies.
The authors show how can be used this capability as a blackbox device to solve systems which have positive-dimensional components of solutions and they describe a simple Maple procedure to call the blackbox solver of PHCpack. Via sampling and projecting they obtain a numerical elimination procedure and they illustrate this sampling on three-dimensional spatial mechanical linkage, using Maple as a plotting tool. They also develop a low level interface to call the Ada routines from C programs.
Finally, they list some of their major benchmark applications.
For the entire collection see [Zbl 1008.00013].
Reviewer: Corina Mohorianu (Iaşi)
MSC:
65H10 | Numerical computation of solutions to systems of equations |
65Y15 | Packaged methods for numerical algorithms |
12Y05 | Computational aspects of field theory and polynomials (MSC2010) |
13P05 | Polynomials, factorization in commutative rings |
14Q15 | Computational aspects of higher-dimensional varieties |
68N30 | Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) |
68W30 | Symbolic computation and algebraic computation |