Erratum to the paper "Sparse Gröbner Bases: the Unmixed Case",
Faugère/Spaenlehauer/Svartz, in the proceedings of ISSAC 2014.
==============================================================
All notation and references are given with respect to the version
https://arxiv.org/abs/1402.7205v3
Lemma 5.2 in https://arxiv.org/abs/1402.7205v3 is erroneous and a
counter-example is given in https://arxiv.org/abs/1902.00208v1, Appendix A.
The fact that Lemma 5.2 is wrong impacts the proofs of the following
statements in https://arxiv.org/abs/1402.7205v3:
- Thm. 5.3,
- the bound for d_wit in Coro. 6.1,
- the bound for d_wit in Thm. 6.2.
I thank Matías Bender for pointing out this counter-example.