On Affine Tropical F5 Algorithms

05/16/2018
by   Tristan Vaccon, et al.
0

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 use of the valuation, the theory of tropical Gröbner bases has proved to provide settings for computations over polynomial rings over a p-adic field that are more stable than that of classical Gröbner bases.Beforehand, these strategies were only available for homogeneous polynomials. In this article, we extend the F5 strategy to a new definition of tropical Gröbner bases in an affine setting.We provide numerical examples to illustrate time-complexity and p-adic stability of this tropical F5 algorithm.We also illustrate its merits as a first step before an FGLM algorithm to compute (classical) lex bases over p-adics.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/16/2017

A Tropical F5 algorithm

Let K be a field equipped with a valuation. Tropical varieties over K ca...
research
09/04/2020

On FGLM Algorithms with Tropical Gröbner bases

Let K be a field equipped with a valuation. Tropical varieties over K ca...
research
04/10/2022

Lipschitz stability of γ-FOCS and RC canonical Jordan bases of real H-selfadjoint matrices under small perturbations

In 2008 Bella, Olshevsky and Prasad proved that the flipped orthogonal (...
research
05/01/2018

Gröbner Bases of Modules and Faugère's F_4 Algorithm in Isabelle/HOL

We present an elegant, generic and extensive formalization of Gröbner ba...
research
11/16/2015

Solving the Forward Position Problem of an In-Parallel Planar Manipulator in the Gauss Plane

We study determining the posture of an in-parallel planar manipulator, w...
research
02/11/2020

Signature-based algorithms for Gröbner bases over Tate algebras

Introduced by Tate in [Ta71], Tate algebras play a major role in the con...
research
10/25/2022

Axioms for a theory of signature bases

Twenty years after the discovery of the F5 algorithm, Gröbner bases with...

Please sign up or login with your details

Forgot password? Click here to reset