Videos

On the complexity of Gröbner basis computation for regular and semi-regular systems

Presenter
September 21, 2006
Keywords:
  • Gröbner bases
MSC:
  • 13P10
Abstract
We study the complexity of Gröbner bases computation, in particular in the generic situation where the variables are in simultaneous Noether position with respect to the system. We bound precisely the exponent of the complexity of Faugère F5 algorithm in this case. This complexity is related to the index of regularity of the ideal. For regular systems, this index is well- known. We define a class of overdetermined systems called semi- regular systems for which we derive sharp asymptotic estimates of the index of regularity. These systems are conjectured to be generic in a precise sense. This is joint work with Magali Bardet and Jean-Charles Faugère.