For the distance equations we use a specific procedure for the inflation method (see section 3.1.6). Indeed in that case it is possible to calculate directly the diameter of the largest ball centered at an approximation of a solution that contains one and only one solution. The procedure is:
int ALIAS_Epsilon_Inflation(int Dimension,int Dimension_Eq, INTEGER_MATRIX &APOW,MATRIX &ACONS, VECTOR &LI, int NB_EQV,int NB_VARV,MATRIX &AVARV, VECTOR &Amid, INTERVAL_VECTOR &P, INTERVAL_VECTOR &PP1, int type,double epsilon, int (* Simp_Proc)(INTERVAL_VECTOR &))
We have also a specific implementation of the Newton scheme:
int Newton_Fast(int Dimension,int Dimension_Eq, INTEGER_MATRIX &APOW,MATRIX &ACONS,VECTOR &LI, int NB_EQV,int NB_VARV,MATRIX &AVARV, VECTOR &Input,double Accuracy,int Max_Iter,VECTOR &Residu)