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.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01521865
Contributeur : Tristan Vaccon <>
Soumis le : vendredi 12 mai 2017 - 14:10:24
Dernière modification le : mardi 15 mai 2018 - 12:00:43
Document(s) archivé(s) le : dimanche 13 août 2017 - 12:57:13

Fichiers

F5trop_arxiv.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Tristan Vaccon, Kazuhiro Yokoyama. A Tropical F5 algorithm. 2017. 〈hal-01521865〉

Partager

Métriques

Consultations de la notice

182

Téléchargements de fichiers

46