Faugère's F4 and F5 algorithms: Difference between revisions

Content deleted Content added
Zadneram (talk | contribs)
m Added link to HFE
Line 11:
This strategy allows the algorithm to apply two new criteria based on what Faugère calls ''signatures'' of polynomials. Thanks to these criteria, the algorithm can compute Gröbner bases for a large class of interesting polynomial systems, called ''regular sequences'', without ever simplifying a single polynomial to zero--the most time-consuming operation in algorithms that compute Gröbner bases.
 
The previously intractable "cyclic 10" problem was solved by F5, as were a number of systems related to cryptography; for example [[Hidden Field Equations|HFE]] and C<sup>*</sup>.
 
==References==