Abstract
Globally, the solution set of a system of polynomial equations with complex coefficients can be decomposed into irreducible components. Using numerical algebraic geometry, each irreducible component is represented using a witness set thereby yielding a numerical irreducible decomposition of the solution set. Locally, the irreducible decomposition can be refined to produce a local irreducible decomposition. We define local witness sets and describe a numerical algebraic geometric approach for computing a numerical local irreducible decomposition for polynomial systems. Several examples are presented.
D.A. Brake—Supported in part by supported in part by NSF ACI-1460032.
J.D. Hauenstein—Supported in part by Army Young Investigator Program (YIP), a Sloan Research Fellowship, and NSF ACI-1460032.
A.J. Sommese—Supported in part by the Vincent J. and Annamarie Micus Duncan Chair of Mathematics and NSF ACI-1440607.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini: Software for numerical algebraic geometry. http://bertini.nd.edu
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically Solving Polynomial Systems with Bertini. Software, Environments, and Tools, vol. 25. Society for Industrial and Applied Mathematics, Philadelphia (2013)
Dayton, B., Zeng, Z.: Computing the multiplicity structure in solving polynomial systems. In: Proceedings of ISSAC, pp. 166–123. ACM, New York (2005)
Fischer, G.: Complex Analytic Geometry. Lecture Notes in Mathematics, vol. 538. Springer, Berlin-New York (1976)
Gunning, R.C.: Introduction to Holomorphic Functions of Several Variables. Vol. II: Local Theory. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA (1990)
Gunning, R.C.: Lectures on Complex Analytic Varieties: The Local Parametrization Theorem. Mathematical Notes Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1970)
Hauenstein, J.D.: Numerically computing real points on algebraic sets. Acta Appl. Math. 125(1), 105–119 (2013)
Lu, Y., Bates, D.J., Sommese, A.J., Wampler, C.W.: Finding all real points of a complex curve. Contemp. Math. 448, 183–205 (2007)
Macaulay, F.S.: The Algebraic Theory of Modular Systems. Cambridge University Press, Cambridge (1916)
Wampler, C.W., Hauenstein, J.D., Sommese, A.J.: Mechanism mobility and a local dimension test. Mech. Mach. Theory 46(9), 1193–1206 (2011)
Wampler, C., Larson, B., Edrman, A.: A new mobility formula for spatial mechanisms. In: Proceedings of DETC/Mechanisms and Robotics Conference, Las Vegas, NV (CDROM), 4–7 September 2007
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Brake, D.A., Hauenstein, J.D., Sommese, A.J. (2016). Numerical Local Irreducible Decomposition. In: Kotsireas, I., Rump, S., Yap, C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science(), vol 9582. Springer, Cham. https://doi.org/10.1007/978-3-319-32859-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-32859-1_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32858-4
Online ISBN: 978-3-319-32859-1
eBook Packages: Computer ScienceComputer Science (R0)