The Algorithmic Behaviour of the F5 Algorithm

TL;DR

This paper discusses the algorithmic behavior of the F5 algorithm, but has been withdrawn due to proof errors and includes collaborative ideas, with a new solution for termination provided elsewhere.

Contribution

It originally aimed to analyze the F5 algorithm's behavior, but was withdrawn; a new solution for its termination has been published separately.

Findings

Initial proof of termination was incorrect

Collaborative ideas with John Perry were involved

A new solution for F5's termination is available at arXiv:1006.0318

Abstract

This paper has been withdrawn due to an error in the proof of the termination of the algorithm. Moreover, some ideas of this paper are a joint work with John Perry and it is inappropriate to mention only me as an author. John Perry was in spite of the statement in the acknowledgment of previous versions not proofreading this paper. Recently we have found a new solution for ensuring F5's termination, which can be found here : arXiv:1006.0318.