Section: New Results
Zero dimensional Solve
Let be a 0-dimensional ideal of degree where is a field. It is well-known that obtaining efficient algorithms for change of ordering of Gröbner bases of is crucial in polynomial system solving. Through the algorithm FGLM, this task is classically tackled by linear algebra operations in . With recent progress on Gröbner bases computations, this step turns out to be the bottleneck of the whole solving process.
In  , we present an efficient algorithm that takes advantage of the sparsity structure of multiplication matrices appearing during the change of ordering. This sparsity structure arises even when the input polynomial system defining is dense. As a by-product, we obtain an implementation which is able to manipulate 0-dimensional ideals over a prime field of degree greater than 30000. It outperforms the Magma/Singular/FGb implementations of FGLM.
In  , we investigate the particular but important shape position case. The obtained algorithm performs the change of ordering within a complexity , where is the number of nonzero entries of a multiplication matrix (the density of the matrix). This almost matches the complexity of computing the minimal polynomial of one multiplication matrix. Then, we address the general case and give corresponding complexity results. Our algorithm is dynamic in the sense that it selects automatically which strategy to use depending on the input. Its key ingredients are the Wiedemann algorithm to handle 1-dimensional linear recurrence (for the shape position case), and the Berlekamp–Massey–Sakata algorithm from Coding Theory to handle multi-dimensional linearly recurring sequences in the general case.