(****************************************************************************)
(* (C) Copyright 1993 Universidade Estadual de Campinas (UNICAMP)           *)
(*                    Campinas, SP, Brazil                                  *)
(*                                                                          *)
(* This file can be freely distributed, modified, and used for any          *)
(*   non-commercial purpose, provided that this copyright and authorship    *)
(*   notice be included in any copy or derived version of this file.        *)
(*                                                                          *)
(* DISCLAIMER: This software is offered ``as is'', without any guarantee    *)
(*   as to fitness for any particular purpose.  Neither the copyright       *)
(*   holder nor the authors or their employers can be held responsible for  *)
(*   any damages that may result from its use.                              *)
(****************************************************************************)

TITLE

  Compatible libraries for Interval Arithmetic (IA) and 
  Affine Arithmetic (AA).

VERSION
 
  94/mar/04

CONTENTS

  This package contains the following sub-directories:

    libjs    -- miscellaneous trivial hacks
    libps    -- PostScript plotting tools
    libflt   -- basic floating-point tools
    libia    -- simple interval arithmetic package
    libaa    -- affine arithmetic package
    aatests  -- various graphical tests of IA and AA

BUILDING THE LIBRARIES

  Suppose $D is the directory where the package has been untarred.
  Then

    cd $D
    make -f libraries.make all

  should compile all libraries, in the proper order,
  and install them into $D/PUB/gcc/include and $D/PUB/gcc.lib.

  Caveat: the makefiles haven't been tested, and in any case may need
  fixing in order to work at your site.
  
  The sources were written for a SUN SPARCstation (using the
  gcc compiler).  No special care was taken to make them portable
  to other architectures.


RUNNING THE TEST PROGRAMS

  This package includes a bunch of test programs.
  Once the libraries have been built and installed,

    cd $D
    make -f libraries.make tests

  should compile the test programs, and execute them.
  
AUTHORS

  Jorge Stolfi  <stolfi@dcc.unicamp.br>

  Marcus Vinicius Alvim Andrade  <marcus@dcc.unicamp.br>
  
  Computer Science Dept. (DCC-IMECC)
  Universidade Estadual de Campinas (UNICAMP)
  Caixa Postal 6065
  13081 Campinas, SP

  Tel: +55 (192) 39-8442, 39-3115
  Fax: +55 (192) 39-7470

BIBLIOGRAPHY
  
    Marcus V.~A.~Andrade, João L.~D.~Comba, and Jorge Stolfi:
    ``Affine arithmetic.'' 
    To appear in {\em Proc.~International
    Conf. on Interval and Computer-Algebraic Methods in
    Science and Engineering (INTERVAL/94)}, St.~Petersburg, 
    Russia (march 1994).
    
    João L.~D.~Comba and Jorge Stolfi:
    ``Affine arithmetic and its applications to computer graphics.''
    {\em Anais do VI Simpósio Brasileiro de 
    Computação Gráfica e Processamento de Imagens (\sibgrapi{}'93)}, 
    Recife, PE, Brazil (october 1993).