** Next:** Analyzing the real roots
** Up:** Rump theorem
** Previous:** Implementation
** Contents**

Clearly this formula give an underestimated value of the minimal
distance between the roots. For example if we consider a Wilkinson
polynomial of order 4 (which has therefore 1,2,3,4 as roots) we find
that the minimal and maximal distance between the roots are bounded by
[7.07107e-09,1.41421e+08].

Jean-Pierre Merlet
2012-12-20