Abstract
Numerical algorithms for decomposing the real points of a complex curve or surface in any number of variables have been developed and implemented in the new software package Bertini_real. These algorithms use homotopy continuation to produce a cell decomposition. The previously existing algorithm for surfaces is restricted to the “almost smooth” case, i.e., the given surface must contain only finitely many singular points. We describe the use of isosingular deflation to remove this almost smooth condition and describe an implementation of deflation via Bertini with MATLAB.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Arnon, D.S., Collins, G.E., McCallum, S.: Cylindrical algebraic decomposition I: The basic algorithm. SIAM J. Computing 13(4), 865–877 (1984)
Brake, D.A., Bates, D.J., Hao, W., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini_real: software for real algebraic sets, bertinireal.com
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically Solving Polynomial Systems with Bertini. SIAM, Philadelphia (2013)
Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini: software for numerical algebraic geometry, bertini.nd.edu
Besana, G.M., Di Rocco, S., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Cell decomposition of almost smooth real algebraic surfaces. Numer. Algorithms 63(4), 645–678 (2013)
Hauenstein, J.D., Wampler, C.W.: Isosingular sets and deflation. Found. Comp. Math. 13(3), 371–403 (2013)
Hauser, H., Schicho, J.: Algebraic Surfaces, www1-c703.uibk.ac.at/mathematik/project/bildergalerie/gallery.html (accessed May 19, 2014)
Leykin, A., Verschelde, J., Zhao, A.: Newton’s method with deflation for isolated singularities of polynomial systems. Theor. Comp. Sci. 359(1-3), 111–122 (2006)
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)
Sommese, A.J., Wampler, C.W.: The Numerical Solution to Systems of Polynomials Arising in Engineering and Science. World Scientific, Singapore (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bates, D.J., Brake, D.A., Hauenstein, J.D., Sommese, A.J., Wampler, C.W. (2014). On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities. In: Hong, H., Yap, C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44199-2_39
Download citation
DOI: https://doi.org/10.1007/978-3-662-44199-2_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44198-5
Online ISBN: 978-3-662-44199-2
eBook Packages: Computer ScienceComputer Science (R0)