int Cauchy_Third_Bound_Interval(int Degree,INTERVAL_VECTOR &Coeff,INTERVAL &Bound)

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.

Jean-Pierre Merlet 2012-12-20