next up previous contents
Next: Analyzing the real roots Up: Rump theorem Previous: Implementation   Contents

Example

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