Abstract
In this paper, we introduce a new algorithm for computing a set of generators for the syzygies on a sequence of polynomials. For this, we extend a given sequence of polynomials to a Gröbner basis using Faugère’s F5 algorithm (A new efficient algorithm for computing Gröbner bases without reduction to zero (F 5). ISSAC, ACM Press, pp 75–83, 2002). We show then that if we keep all the reductions to zero during this computation, then at termination (by adding principal syzygies) we obtain a basis for the module of syzygies on the input polynomials. We have implemented our algorithm in the computer algebra system Magma, and we evaluate its performance via some examples.
Similar content being viewed by others
References
Bardet, M.: Étude des systémes algébriques surdeterminés. Applications aux codes correcteurs et à la cryptographie Ph.D. Thesis, Université Paris 6 (2004)
Bardet, M., Faugère, J.-C., Salvy, B.: On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations. In: Valibouze, A. (ed.), ICPSS Paris, pp. 71–75 (2004)
Bardet, M., Faugère, J.-C., Salvy, B.: Asymptotic expansion of the degree of regularity for semi-regular systems of equations. In: Gianni, P. (ed.) Mega 2005 Sardinia (Italy) (2005)
Buchberger, B.: An Algorithmic Method in Polynomial Ideal Theory Recent Trends in Multidimensional Systems Theory, pp. 184–232 (1985)
Cannon, J. et al. Magma 2.11. A Computer Algebra System, School of Mathematics and Statistics, University of Sydney (2006). http://magma.maths.usyd.edu.au/magma/
Decker, W., Greuel, G.-M., Pfister, G.: Primary decomposition: algorithms and comparisons. In: Algorithmic Algebra and Number Theory (Heidelberg, 1997), pp. 187–220. Springer, Berlin (1999)
Faugère, J.-C.: A new efficient algorithm for computing Gröbner bases without reduction to zero (F 5). ISSAC, ACM Press, pp. 75–83 (2002)
Greuel, G.-M.: Gerhard Pfister and Hans Schönemann. Singular 3.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, 2007. http://www.singular.uni-kl.de
Lazard, D.: Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations. Computer algebra (London, 1983). Lecture Notes in Computer Science, vol. 162, pp. 146–156. Springer, Berlin (1983)
Möller H.M., Mora F.: New constructive methods in classical ideal theory. J. Algebra 100, 137–178 (1986)
Möller, H.M., Mora T., Traverso, C.: Gröbner bases computation using syzygies. In: Proceedings of ISSAC’92, pp. 320–328 (1992)
Schreyer, F.-O.: Die Berchnung von Syzygien mit dem verallgemeinerten Weier- strass’schen Divisionsatz Diplom Thesis, University of Hamburg (1980)
Wall B.: On the computation of syzygies. ACM Sigsam Bull. 23(4), 5–14 (1989)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ars, G., Hashemi, A. Computing Syzygies by Faugère’s F5 algorithm. Results. Math. 59, 35–42 (2011). https://doi.org/10.1007/s00025-010-0049-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00025-010-0049-x