On Affine Tropical F5 Algorithms

Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama

Let $K$ be a field equipped with a valuation. Tropical varieties over $K$ can be defined with a theory of Gr{ö}bner bases taking into account the valuation of $K$.Because of the us…