Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA new efficient algorithm for computing Gröbner basis (F 4 )
Author(s) Jean-Charles Faugère
TypeArticle in Journal
AbstractThis paper introduces a new efficient algorithm for computing Gröbner bases. To avoid as much intermediate computation as possible, the algorithm computes successive truncated Gröbner bases and it replaces the classical polynomial reduction found in the Buchberger algorithm by the simultaneous reduction of several polynomials. This powerful reduction mechanism is achieved by means of a symbolic precomputation and by extensive use of sparse linear algebra methods. Current techniques in linear algebra used in Computer Algebra are reviewed together with other methods coming from the numerical field. Some previously untractable problems (Cyclic 9) are presented as well as an empirical comparison of a first implementation of this algorithm with other well known programs. This comparison pays careful attention to methodology issues. All the benchmarks and CPU times used in this paper are frequently updated and available on a Web page. Even though the new algorithm does not improve the worst case complexity it is several times faster than previous implementations both for integers and modulo p computations.
Length28
CopyrightElsevier Science B.V.
File
URL dx.doi.org/10.1016/S0022-4049(99)00005-5
LanguageEnglish
JournalJournal of Pure and Applied Algebra
Volume139
Number1-3
Pages61-88
PublisherElsevier Scienc B.V.
Year1999
MonthJune
Edition0
Translation No
Refereed No
Webmaster