introduce subresultants. Both concepts will be transfered
to multivariate polynomials. This leads to the definition
of algebraic numbers and their interval representations
- which ends the discussion of the X-structure in our
overall algorithm.