×
Lee, Kisun; Lindberg, Julia; Rodriguez, Jose Israel

Implementing real polyhedral homotopy. (English) Zbl 07878544

J. Softw. Algebra Geom. 14, 59-71 (2024).
Summary: We implement a real polyhedral homotopy method using three functions. The first function provides a certificate that our real polyhedral homotopy is applicable to a given system; the second function generates binomial systems for a start system; and the third function outputs target solutions from the start system obtained by the second function. This work realizes the theoretical contributions of Ergür and Wolff (2023) as easy-to-use functions, allowing for further investigation into real homotopy algorithms.

MSC:

65H14 Numerical algebraic geometry
14P99 Real algebraic and real-analytic geometry

Keywords:

homotopy continuation; numerical algebraic geometry; real algebraic geometry; amoeba; discriminant; polyhedral homotopy
Cite Review PDF
Full Text: DOI arXiv

References:

[1] 10.1137/1.9781611972702 · doi:10.1137/1.9781611972702
[2] 10.1007/BF01075595 · Zbl 0328.32001 · doi:10.1007/BF01075595
[3] 10.1007/978-1-4612-0701-6 · doi:10.1007/978-1-4612-0701-6
[4] 10.1145/3580277 · Zbl 07908573 · doi:10.1145/3580277
[5] 10.1090/mcom/3849 · Zbl 07729931 · doi:10.1090/mcom/3849
[6] ; Chen, Tianran; Li, Tien-Yien, Solutions to systems of binomial equations, Ann. Math. Sil., 28, 7, 2014 · Zbl 1439.13079
[7] 10.2307/2153370 · Zbl 0849.65030 · doi:10.2307/2153370
[8] 10.1145/3371991.3371995 · Zbl 07659270 · doi:10.1145/3371991.3371995
[9] 10.1007/s10915-023-02138-0 · Zbl 1519.91013 · doi:10.1007/s10915-023-02138-0
[10] 10.1007/s00607-008-0015-6 · Zbl 1167.65366 · doi:10.1007/s00607-008-0015-6
[11] 10.1007/s40598-018-0084-3 · Zbl 1408.14192 · doi:10.1007/s40598-018-0084-3
[12] 10.1109/TPWRS.2022.3170232 · doi:10.1109/TPWRS.2022.3170232
[13] 10.1137/21M1422550 · Zbl 07682684 · doi:10.1137/21M1422550
[14] 10.1137/1.9780898717716 · Zbl 1168.65002 · doi:10.1137/1.9780898717716
[15] 10.1142/9789812567727 · doi:10.1142/9789812567727
[16] ; Sturmfels, Bernd, Viro’s theorem for complete intersections, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 21, 3, 377, 1994 · Zbl 0826.14032
[17] 10.1145/317275.317286 · Zbl 0961.65047 · doi:10.1145/317275.317286
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.