 
 
 
 
 
 
 
  
int Cauchy_Third_Bound_Interval(int Degree,INTERVAL_VECTOR &Coeff,INTERVAL &Bound)Coeff[1] cannot be 0. The procedure:
 
int Cauchy_All_Bound_Interval(int Degree,INTERVAL_VECTOR &Coeff,
                             INTERVAL &Bound)
 
will return the result of a successive application of the first and
third Cauchy bounds.