Numerical software to compute Newton polytopes and tropical membership

DOI10.1007/S11786-020-00454-4MaRDI QIDQ2209261zbMATH OpenOpenAlexFDO

Authors Taylor Brysiewicz

Publication date 30 October 2020

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1811.12279

zbMATH Keywords

algorithmhypersurfacehomotopy continuationNewton polytopetropical

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial aspects of tropical varieties (14T15) Computational aspects in algebraic geometry (14Q99) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Abstract: We present our implementation of an algorithm which functions as a numerical oracle for the Newton polytope of a hypersurface in the Macaulay2 package NumericalNP.m2. We propose a tropical membership test, relying on this algorithm, for higher codimension varieties based on ideas from Hept and Theobald. To showcase this software, we investigate the Newton polytope of both a hypersurface coming from algebraic vision and the Luroth invariant.

Recommendations

• Numerical software to compute Newton polytopes
• Newton polytopes and witness sets
• Computing tropical varieties using Newton's polygon method
• The Newton polytope of the implicit equation
• Tropical computations in \texttt{polymake}

Cites work

• scientific article; zbMATH DE number 3834108 (Why is no real title available?)
• scientific article; zbMATH DE number 6437647 (Why is no real title available?)
• An oracle-based, output-sensitive algorithm for projections of resultant polytopes
• Congruences and concurrent lines in multi-view geometry
• Newton polytopes and witness sets
• Numerical software to compute Newton polytopes
• Numerically solving polynomial systems with Bertini
• Software for numerical algebraic geometry: a paradigm and progress towards its implementation
• The number of roots of a system of equations
• Tropical bases by regular projections
• Witness sets of projections

Cited in

(5)

• Learning Polytopes with Fixed Facet Directions
• Computing zero-dimensional tropical varieties via projections
• Numerical software to compute Newton polytopes
• Binomiality testing and computing sparse polynomials via witness sets
• Newton polytopes and witness sets

Describes a project that uses

Uses Software

• NumericalNP
• triangulation
• Bertini.m2
• Bertini
• SageMath
• Macaulay2

This page was built for publication: Numerical software to compute Newton polytopes and tropical membership

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2209261)