File: README, 2003/09/30

ACETAF, Version 3.0.1

Copyright (C) Markus Neher, markus.neher@math.uni-karlsruhe.de
              Ingo Eble,    ingoeble@web.de

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.


Description
===========

ACETAF is a free C++ software package for computing validated bounds for Taylor
coefficients of analytic functions.


Installation
============

1) Make sure you have

	a) the GNU C++ compiler gcc 2.95.2 through 3.3.1 (or higher)

	b) the C-XSC library (version 2.0 beta3 or higher)

	   OR

             the filib++ library (version 2.0 as of 18-Jun-2004 or higher) 

   installed.
  
   (Download the C-XSC library from

        http://www.xsc.de

    and the filib++ library from

        http://www.math.uni-wuppertal.de/wrswt/software/filib.html

    For installing the libraries, see the respective README files.)

	c) the Qt development package version 2 or higher (http://www.troll.no)

   installed.

2) Unpack the ACETAF source files with the command 

       "tar -xvzf acetaf-3p0p1.tgz".

   This creates a directory  ./acetaf-3p0p1 with all the necessary files.
   Enter this directory.

3) Modify the path names in the attached Makefile according to the directory
   structure on your computer (C-XSC, filib++, Qt library).

   If the CoStLy library is already installed on your computer, modify its
   path name in the Makefile. Otherwise, CoStLy will be compiled and installed
   automatically in a subdirectory of the ACETAF directory on your computer.

   Depending on your interval library, type "make acetaf-cxsc"  or  
   "make acetaf-filib" to compile ACETAF. The executable program is 
   "acetaf_cxsc" or "acetaf_filib".


Technical support
=================

None. ACETAF is free software, remember?

In case of a problem, you may try sending an email to one of the above 
adresses, with fingers crossed for reply.


Markus Neher and Ingo Eble