
Sparse polynomial interpolation, sparse linear system solving or modular rational reconstruction are fundamental problems in Computer Algebra. They come down to computing linear recurrence relations of a sequence with the Berlekamp-Massey algorithm. Likewise, sparse multivariate polynomial interpolation and multidimensional cyclic code decoding require guessing linear recurrence relations of a multivariate sequence.Several algorithms solve this problem. The so-called Berlekamp-Massey-Sakata algorithm (1988) uses polynomial additions and shifts by a monomial. The Scalar-FGLM algorithm (2015) relies on linear algebra operations on a multi-Hankel matrix, a multivariate generalization of a Hankel matrix. The Artinian Gorenstein border basis algorithm (2017) uses a Gram-Schmidt process.We propose a new algorithm for computing the Gr{ö}bner basis of the ideal of relations of a sequence based solely on multivariate polynomial arithmetic. This algorithm allows us to both revisit the Berlekamp-Massey-Sakata algorithm through the use of polynomial divisions and to completely revise the Scalar-FGLM algorithm without linear algebra operations.A key observation in the design of this algorithm is to work on the mirror of the truncated generating series allowing us to use polynomial arithmetic modulo a monomial ideal. It appears to have some similarities with Pad{é} approximants of this mirror polynomial.As an addition from the paper published at the ISSAC conferance, we give an adaptive variant of this algorithm taking into account the shape of the final Gr{ö}bner basis gradually as it is discovered. The main advantage of this algorithm is that its complexity in terms of operations and sequence queries only depends on the output Gr{ö}bner basis.All these algorithms have been implemented in Maple and we report on our comparisons.
Extended Euclidean algorithm, Computer Science - Symbolic Computation, FOS: Computer and information sciences, CCS CONCEPTS • Comput method → Symbolic calculus algorithms, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Berlekamp-Massey-Sakata algorithm, Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases), Symbolic Computation (cs.SC), Symbolic computation and algebraic computation, Linear recursive sequences, Padé approximants, Berlekamp–Massey– Sakata, Gröbner bases, linear recursive sequences, Berlekamp-Massey-Sakata, linear recurrent sequences, extended Euclidean algorithm
Extended Euclidean algorithm, Computer Science - Symbolic Computation, FOS: Computer and information sciences, CCS CONCEPTS • Comput method → Symbolic calculus algorithms, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Berlekamp-Massey-Sakata algorithm, Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases), Symbolic Computation (cs.SC), Symbolic computation and algebraic computation, Linear recursive sequences, Padé approximants, Berlekamp–Massey– Sakata, Gröbner bases, linear recursive sequences, Berlekamp-Massey-Sakata, linear recurrent sequences, extended Euclidean algorithm
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 7 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
