Zero-dimensional tropicalizations in OSCAR

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.