Algebra Commons^™

A Dynamic F5 Algorithm, Candice Mitchell

Dissertations

Gröbner bases are a “nice” representation for nonlinear systems of polynomials, where by “nice” we mean they have good computation properties. They have many useful applications, including decidability (whether the system has a solution or not), ideal membership (whether a given polynomial is in the system or not), and cryptography. Traditional Gröbner basis algorithms require as input an ideal and an admissible term ordering. They then determine a Gröbner basis with respect to the given ordering. Some term orderings lead to a smaller basis, but finding them traditionally requires testing many orderings and hoping for better results. A dynamic algorithm …