Skip to Main content Skip to Navigation
New interface

Bases of relations in one or several variables: fast algorithms and applications

Vincent Neiger 1, 2 
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : In this thesis, we study algorithms for a problem of finding relations in one or several variables. It generalizes that of computing a solution to a system of linear modular equations over a polynomial ring, including in particular the computation of Hermite-Padé approximants and bivariate interpolants. Rather than a single solution, we aim at computing generators of the solution set which have good properties. Precisely, the input of our problem consists of a finite-dimensional module given by the action of the variables on its elements, and of some elements of this module; the goal is to compute a Gröbner basis of the module of syzygies between these elements. In terms of linear algebra, the input describes a matrix with a type of Krylov structure, and the goal is to compute a compact representation of a basis of the nullspace of this matrix. We propose several algorithms in accordance with the structure of the multiplication matrices which specify the action of the variables. In the case of a Jordan matrix, we accelerate the computation of multivariate interpolants under degree constraints; our result for a Frobenius matrix leads to a faster algorithm for computing normal forms of univariate polynomial matrices. In the case of several dense matrices, we accelerate the change of monomial order for Gröbner bases of multivariate zero-dimensional ideals.
Document type :
Complete list of metadata

Cited literature [180 references]  Display  Hide  Download
Contributor : Vincent Neiger Connect in order to contact the contributor
Submitted on : Tuesday, January 10, 2017 - 5:45:02 PM
Last modification on : Tuesday, October 25, 2022 - 4:19:09 PM
Long-term archiving on: : Tuesday, April 11, 2017 - 4:43:03 PM


  • HAL Id : tel-01431413, version 1


Vincent Neiger. Bases of relations in one or several variables: fast algorithms and applications. Symbolic Computation [cs.SC]. École Normale Supérieure de Lyon - University of Waterloo, 2016. English. ⟨NNT : 2016LYSEN052⟩. ⟨tel-01431413⟩



Record views


Files downloads