This directory contains Axiom (1.2 -> 2.1) for the real closure of an archimdian field. It is divided into 4 parts : - a generic part working for any ordered field (realcat.spad, reclos.spad) - some utilities for univariate polynomials (polutil.spad) - an implementation for archimdian fields (intcod.spad) - an implementation for simple extensions of an ordered field (soae.spad) Files need to be compiled in the following order : polutil.spad realcat.spad soae.spad intcod.spad reclos.spad -------------------------------------------------------------------- Ce catalogue contient les sources Axiom (1.2 -> 2.1) pour la cloture reelle d'un corps archimedien. Il se decompose en : - une partie generique qui fonctionne pour n'importe quel corps ordonne (realcat.spad, reclos.spad) - une partie d'utilitaires sur les polynomes en une variable (polutil.spad) - une partie d'implantation pour un corps archimedien (intcod.spad) - une partie qui permet de travailler dans des extensions simples d'un corps ordonne (soae.spad) Les fichiers sont a compiler sous axiom dans l'ordre suivant : polutil.spad realcat.spad soae.spad intcod.spad reclos.spad -------------------------------------------------------------------- ----- Renaud Rioboo ----- --------------------------------------------------------------------