According to the system this procedure may not be especially faster than the general purpose algorithm but the number of necessary boxes is in general drastically reduced. Furthermore the use of Moore test and interval Newton method enable in many cases to determine exactly the solutions.
This solving algorithm may be tested on-line on the web page ALIAS-on-line that can be found on the COPRIN web page.