Comparison of XL and Gröbner basis algorithms over Finite Fields

This paper compares the XL algorithm with Gröbner basis algorithm. We explain the link between XL computation result and Gröbner basis with the well-known notion of $D$-Gröbner basis. Then we compare these algorithms in two cases: in the fields $\Fand $\Fwith $q\gg n$. For the field $\F we have proved that if XL needs to compute polynomial with degree $D$ to terminate, the whole Gröbner basis is computated without exceeding the degree $D$. We have studied the XL algorithm and $F_5$ algorithm on semi-regular sequences introduced in report~\cite{F5_complexite}. We show that the size of matrix constructed by XL is huge compared to the ones of $F_5$. So the complexity of XL is worth than $F_5$ algorithm on these systems. For the field $\F we introduce an emulated algorithm using Gröbner basis computation to have a comparison between XL and Gröbner basis. We have proved that this algorithm will always reach a lower degree for intermediate polynomials than XL algorithm. A study on semi-regular sequences shows that $F_5$ always has a better behavior than XL algorithm especially when $m$ is near from $n$.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/inria-00070747
Author Faugère, Jean-Charles, Ars, Gwénolé
Maintainer CCSD
Last Updated May 15, 2026, 19:13 (UTC)
Created May 15, 2026, 19:13 (UTC)
Identifier Report N°: RR-5251
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Systèmes Polynomiaux, Implantation, Résolution Algébrique (SPIRAL) ; Laboratoire d'Informatique de Paris 6 (LIP6) ; Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
creator Faugère, Jean-Charles
date 2004-05-15T00:00:00
harvest_object_id 31298d44-3fb7-433f-83a6-a597012213a5
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2023-04-11T00:00:00
set_spec type:REPORT