Computing zero-dimensional tropical varieties via projections
Paul Görlach, Yue Ren, and Leon Zhang
Contact the author: Please use for correspondence this email.
Submission date: 26. Aug. 2019
MSC-Numbers: 14T05, 13P10, 13P15, 68W30
Keywords and phrases: tropical geometry, tropical varieties, computer algebra
Download full preprint: PDF (508 kB)
Link to arXiv: See the arXiv entry of this preprint.
We present an algorithm for computing zero-dimensional tropical varieties using projections. Our main tools are fast unimodular transforms of lexicographical Gröbner bases. We prove that our algorithm requires only a polynomial number of arithmetic operations if given a Gröbner basis, and we demonstrate that our implementation compares favourably to other existing implementations. Applying it to the computation of general positive-dimensional tropical varieties, we argue that the complexity for calculating tropical links is dominated by the complexity of the Gröbner walk.