Edit detail for RealClosure revision 2 of 6

Real Algebraic Numbers

Renaud Rioboo:

        LIP6 Case 168, Thème SPI
        Universtité Pierre et Marie Curie
        4 Place Jussieu
        F-75252 Paris CEDEX 05

        Tel : +33 1 4427 3341
        Fax : +33 1 4427 4042
        mailto:Renaud.Rioboo@lip6.fr

http://www.lip6.fr

http://www-calfor.lip6.fr/~rr/

Axiom Software

• http://ftp.lip6.fr/lip6/softs/formel/Axiom/RealClosures
• http://www-calfor.lip6.fr/~rr/HDR/reclos_frisco.pdf
• http://axiom-portal.newsynthesis.org/refs/articles/axiom-field.pdf

Real Algebraic Closure of an Ordered Field, Implementation in Axiom

Real algebraic numbers appear in many Computer Algebra problems. For instance the determination of a cylindrical algebraic decomposition for an euclidian space requires computing with real algebraic numbers. This paper describes an implementation for computations with the real roots of a polynomial. This process is designed to be recursively used, so the resulting domain of computation is the set of all real algebraic numbers. An implementation for the real algebraic closure has been done in Axiom (previously called ScratchPad?).

Here is an example of it's usage.

Related Papers

• Infinitesimals and real closure
• Polymorphic Data Types, Objects, Modules and Functors: is it too.much.?