-
arXiv:2201.04268 [pdf, ps, other]
Sparse trace tests
Abstract: We establish how the coefficients of a sparse polynomial system influence the sum (or the trace) of its zeros. As an application, we develop numerical tests for verifying whether a set of solutions to a sparse system is complete. These algorithms extend the classical trace test in numerical algebraic geometry. Our results rely on both the analysis of the structure of sparse resultants as well as a… ▽ More
Submitted 11 January, 2022; originally announced January 2022.
MSC Class: 65H14; 14Q65; 14M25; 68W30
-
Tangent Quadrics in Real 3-Space
Abstract: We examine quadratic surfaces in 3-space that are tangent to nine given figures. These figures can be points, lines, planes or quadrics. The numbers of tangent quadrics were determined by Hermann Schubert in 1879. We study the associated systems of polynomial equations, also in the space of complete quadrics, and we solve them using certified numerical methods. Our aim is to show that Schubert's p… ▽ More
Submitted 19 May, 2021; v1 submitted 21 October, 2020; originally announced October 2020.
Comments: 13 pages
-
arXiv:2006.03154 [pdf, ps, other]
Decomposable sparse polynomial systems
Abstract: The Macaulay2 package DecomposableSparseSystems implements methods for studying and numerically solving decomposable sparse polynomial systems. We describe the structure of decomposable sparse systems and explain how the methods in this package may be used to exploit this structure, with examples.
Submitted 4 June, 2020; originally announced June 2020.
Comments: 7 pages, software available at https://www.math.tamu.edu/~thomasjyahl/research/DSS/DSSsite.html
MSC Class: 14M25; 65H10; 65H20
Journal ref: J. Softw. Alg. Geom. 11 (2021) 53-59