Abstract
In this paper we describe a combination of ideas to improve incremental signature-based Gröbner basis algorithms which have a big impact on their performance. Besides explaining how to combine already known optimizations to achieve more efficient algorithms, we show how to improve them even further. Although our idea has a postive effect on all kinds of incremental signature-based algorithms, the way this impact is achieved can be quite different. Based on the two best-known algorithms in this area, F5 and G2V, we explain our idea, both from a theoretical and a practical point of view.
- Arri, A. and Perry, J. The F5 Criterion revised. 2011. http://arxiv.org/abs/1012.3664v3.Google Scholar
- Buchberger, B. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, University of Innsbruck, 1965.Google Scholar
- Decker, W., Greuel, G.-M., Pfister, G., and Schönemann, H. Singular 3-1-5 --- A computer algebra system for polynomial computations, 2012. http://www.singular.uni-kl.de.Google Scholar
- Eder, C., Gash, J., and Perry, J. Modifying Faugàre's F5 Algorithm to ensure termination. ACM SIGSAM Communications in Computer Algebra, 45(2):70--89, 2011. http://arxiv.org/abs/1006.0318. Google ScholarDigital Library
- Eder, C. and Perry, J. F5C: A Variant of Faugàre's F5 Algorithm with reduced Gröbner bases. Journal of Symbolic Computation, MEGA 2009 special issue, 45(12):1442--1458, 2010.dx.doi.org/10.1016/j.jsc.2010.06.019. Google ScholarDigital Library
- Eder, C. and Perry, J. Signature-based Algorithms to Compute Gröbner Bases. In ISSAC 2011: Proceedings of the 2011 international symposium on Symbolic and algebraic computation, pages 99--106, 2011. Google ScholarDigital Library
- Faugàre, J.-C. A new efficient algorithm for computing Gröbner bases without reduction to zero F5. In ISSAC'02, Villeneuve d'Ascq, France, pages 75--82, July 2002. Revised version from http://fgbrs.lip6.fr/jcf/Publications/index.html. Google ScholarDigital Library
- Gao, S., Guan, Y., and Volny IV, F. A New Incremental Algorithm for Computing Gröbner Bases. Journal of Symbolic Computation -- ISSAC 2010 Special Issue, 1:13--19, 2010. Google ScholarDigital Library
- Gao, S., Volny IV, F., and Wang, D. A new algorithm for computing Gröbner bases. 2010.Google Scholar
- Gebauer, R. and Möller, H. M. On an installation of Buchberger's algorithm. Journal of Symbolic Computation, 6(2-3):275--286, October/December 1988. Google ScholarDigital Library
- Greuel, G.-M. and Pfister, G. A Singular Introduction to Commutative Algebra. Springer Verlag, 2nd edition, 2007. Google ScholarDigital Library
- Kollreider, C. and Buchberger, B. An improved algorithmic construction of Gröbner-bases for polynomial ideals. SIGSAM Bull., 12:27--36, May 1978. Google ScholarDigital Library
- Stegers, T. Faugàre's F5 Algorithm revisited. Master's thesis, Technische Univerität Darmstadt, revised version 2007.Google Scholar
- Sun, Y. and Wang, D. A generalized criterion for signature related Gröbner basis algorithms. In ISSAC 2011: Proceedings of the 2011 international symposium on Symbolic and algebraic computation, pages 337--344, 2011. Google ScholarDigital Library
Recommendations
Signature rewriting in gröbner basis computation
ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic ComputationWe introduce the RB algorithm for Gröbner basis computation, a simpler yet equivalent algorithm to F5GEN. RB contains the original unmodified F5 algorithm as a special case, so it is possible to study and understand F5 by considering the simpler RB. We ...
An efficient reduction strategy for signature-based algorithms to compute Gröbner basis
This paper introduces a strategy for signature-based algorithms to compute Gröbner basis. In comparison with Buchberger algorithm, signature-based algorithms generate S-pairs instead of S-polynomials, and operate s-reductions instead of usual reductions ...
A generalized criterion for signature related Gröbner basis algorithms
ISSAC '11: Proceedings of the 36th international symposium on Symbolic and algebraic computationA generalized criterion for signature related algorithms to compute Gröbner basis is proposed in this paper. Signature related algorithms are a popular kind of algorithms for computing Gröbner basis, including the famous F5 algorithm, the F5C algorithm, ...
Comments