Authors: Christian Eder
Abstract
Faugère's criterion used in the F
5 algorithm is still not understand and thus there are not many implementations of this algorithm. We state its proof using syzygies to explain the normalization condition of a polynomial. This gives a new insight in the way the F
5 criterion works.
Christian Eder
Fachbereich Mathematik, TU Kaiserslautern,
Postfach 3049, 67653
Kaiserslautern, Germany
E-mail:
Fulltext
–
0.17 Mb