On the p-adic stability of the FGLM algorithm

02/02/2016
by   Guénaël Renault, et al.
0

Nowadays, many strategies to solve polynomial systems use the computation of a Gröbner basis for the graded reverse lexicographical ordering, followed by a change of ordering algorithm to obtain a Gröbner basis for the lexicographical ordering. The change of ordering algorithm is crucial for these strategies. We study the p-adic stability of the main change of ordering algorithm, FGLM. We show that FGLM is stable and give explicit upper bound on the loss of precision occuring in its execution. The variant of FGLM designed to pass from the grevlex ordering to a Gröbner basis in shape position is also stable. Our study relies on the application of Smith Normal Form computations for linear algebra.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
03/18/2022

Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems

We consider ideals involving the maximal minors of a polynomial matrix. ...
research
05/08/2017

Dimension-Dependent Upper Bounds for Grobner Bases

We improve certain degree bounds for Grobner bases of polynomial ideals ...
research
02/18/2022

Faster change of order algorithm for Gröbner bases under shape and stability assumptions

Solving zero-dimensional polynomial systems using Gröbner bases is usual...
research
02/13/2022

Faster Gröbner Bases via Domain-Specific Ordering in Parameter Identifiability of ODE Models

We consider a specific class of polynomial systems that arise in paramet...
research
04/08/2022

Learning the Ordering of Coordinate Compounds and Elaborate Expressions in Hmong, Lahu, and Chinese

Coordinate compounds (CCs) and elaborate expressions (EEs) are coordinat...
research
11/10/2015

A unifying form for noetherian polynomial reductions

Polynomial reduction is one of the main tools in computational algebra w...

Please sign up or login with your details

Forgot password? Click here to reset