Implementation

 
int Joyal_Bound_Interval(int Degre,INTERVAL_VECTOR &Coeff,INTERVAL
&Bound)

returns in Bound an upper bound of the modulus of the roots of the polynomial of degree Degre and interval coefficients Coeff. The procedure returns 0 if $a_n$ is not equal to 1, 1 otherwise.