Showing 1–2 of 2 results for author: Bates, D J

Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials

Authors: Daniel J. Bates, Jonathan D. Hauenstein, Matthew E. Niemerg, Frank Sottile

Abstract: We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while developing algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are developing for Kh… ▽ More We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while developing algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are developing for Khovanskii-Rolle continuation, which is a numerical algorithm to compute the real solutions to a system of fewnomials. △ Less

Submitted 20 May, 2015; originally announced May 2015.

Comments: 22 pages, 4 figures

MSC Class: 14P99; 65H10; 65H20 ACM Class: G.1.5

Bertini for Macaulay2

Authors: Daniel J. Bates, Elizabeth Gross, Anton Leykin, Jose Israel Rodriguez

Abstract: Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes implementations of a variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface to Bertini, making it possi… ▽ More Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes implementations of a variety of algorithms based on polynomial homotopy continuation. The Macaulay2 package Bertini.m2 provides an interface to Bertini, making it possible to access the core run modes of Bertini in Macaulay2. With these run modes, users can find approximate solutions to zero-dimensional systems and positive-dimensional systems, test numerically whether a point lies on a variety, sample numerically from a variety, and perform parameter homotopy runs. △ Less

Submitted 11 October, 2013; originally announced October 2013.

MSC Class: 65H10