Computing Zero-Dimensional Tropical Varieties via Projections

This page contains auxilliary material for the following preprint:

Paul Görlach, Yue Ren, and Leon Zhang: Computing zero-dimensional tropical varieties via projections

In: Computational complexity, 31 (2022) 1 , 5

MIS-Preprint: 79/2019 ARXIV: https://arxiv.org/abs/1908.03486 CODE: https://mathrepo.mis.mpg.de/tropicalProjections

All algorithms are implemented in the Singular library tropicalProjection.lib, the magma library for approximating the roots in the non-Archimedean which was used for the timings can be found here.

In addition to a short tutorial on how to use the library, this website contains a database with all examples that were used for the timings.

• Tutorial
• Examples
  • Random lexicographical Groebner bases of ideals in shape position
  • 27 distinct tropical lines on a random honeycomb cubic
  • References

Project contributors: Paul Görlach, Yue Ren, and Leon Zhang

Software used: Singular, Magma