HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

A Tropical F5 algorithm

Abstract : 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. While generalizing the classical theory of Gröbner bases, it is not clear how modern algorithms for computing Gröbner bases can be adapted to the tropical case. Among them, one of the most efficient is the celebrated F5 Algorithm of Faugère. In this article, we prove that, for homogeneous ideals, it can be adapted to the tropical case. We prove termination and correctness. Because of the use of the valuation, the theory of tropical Gröb-ner bases is promising for stable computations over polynomial rings over a p-adic field. We provide numerical examples to illustrate time-complexity and p-adic stability of this tropical F5 algorithm.
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

Contributor : Tristan Vaccon Connect in order to contact the contributor
Submitted on : Friday, May 12, 2017 - 2:10:24 PM
Last modification on : Friday, January 7, 2022 - 3:45:33 AM
Long-term archiving on: : Sunday, August 13, 2017 - 12:57:13 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License




Tristan Vaccon, Kazuhiro Yokoyama. A Tropical F5 algorithm. ISSAC'17-Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, 2017, ⟨10.1145/3087604.3087630⟩. ⟨hal-01521865⟩



Record views


Files downloads