Zero-dimensional tropicalizations in OSCAR
Arman Marti-Shahandeh, Yue Ren, Victoria Schleis
Abstract
We present algorithms for computing zero-dimensional tropical varieties as implemented in OscarZerodimensionalTropicalization.jl. The algorithms include a mathematical workaround for a common practical issue arising when working with polynomials over inexact fields in existing software systems.