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

--------------------------------------------------------------------