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.