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.