LEDA real Extended

     Home         Projects      Teaching   Publications  Downloads    Members  

Experiments with the EXT real number type

We consider implementations which can compute exactly with real algebraic numbers given as roots of polynomials. If you have any questions, suggestions or comments for the experiments, please contact Susanne Schmitt.

This homepage will be updated every few days.

Data polynomials

Experiments

What is measured?

I measure the time needed for real root isolation, generation of the real algebraic number, and comparison. In CORE and EXT, the generation of the real algebraic number automatically does the real root isolation. For EXT and EXACUS, the time for the squarefree test is also measured. (CORE uses Sturm sequences to isolate the real roots of a polynomial. This method allows to input polynomials which are not squarefree. EXT and EXACUS use Descartes method to isolate the real roots, which does only terminate for squarefree input polynomials. Therefore in the EXT and EXACUS program, there is a squarefree test before the real root isolation.)

different numbers
equal numbers
difference by one
squareroot

More experiments: Coming soon

Document last changed on Monday, 30 May 05 - 19:29.