add to Theorem Provers category
add rootIndex function to Data.AlgebraicNumber.Real module
add realRootsEx :: UPolynomial AReal -> [AReal] to find roots of polynomials with algebraic-reals coefficients
fix a bug of CAD