Installing ALIAS

ALIAS is available through anonymous ftp at ftp-sop.inria.fr, directory coprin/logiciels/ALIAS.

The standard distribution of ALIAS is contained in different directories:

• Doc: documentation (manual[version-number].ps)
• Examples: test programs using ALIAS
• Lib-linux, Lib-solaris: the C++ library for linux and solaris. including the necessary header files
• Profil, Profil-linux: the BIAS/Profil library composed of .a library and header files located in the incl sub-directory
• Maple: the directory which contain the ALIAS-Maple library It is composed of the library ALIAS.m and a directory ALIAS that contain all the necessary modules. An on-line help is available. This directory also include the lib_IS.m library that is used by the Analyzer.

The library directory includes the following header files:

 
header_2B.h
header_Analysis_Univariate.h
header_Solve_General_Interval.h
header_Solve_UP.h
header_Trigo.h
header_Utilities_Interval.h
header_Utilities_UP.h
header_constants.h
header_externe.h
header_functions.h
header_parser.h

and the following library files:

 
lib_2B.a
lib_Continuation.a
lib_No_Slave.a
lib_Slave.a
lib_Parser.a
lib_Solve_General.a
lib_Solve_General_Parser.a
lib_Solve_Simplex.a
lib_Trigo.a
lib_UP.a

The library lib_2B.a includes the program that are necessary to run the 2B filtering (see section 2.17). The library lib_Continuation.a contains the programs described in section 9.1, the library
lib_Solve_Simplex.a the programs devoted to the specific system solving procedures described in sections 2.14, 2.16. The general purpose solving algorithms and various utilities are installed in the library lib_Solve_General.a which must be included in the last position in the makefile.

The library lib_UP.a includes all the programs related to univariate and parametric polynomial, lib_Trigo.a contains some utilities for trigonometric equations and the libraries for using the parser are lib_Parser.a and
lib_Solve_General_Parser.a.

The libraries lib_Slave.a, lib_No_Slave.a are to be used respectively if a parallel or sequential implementation of ALIAS is used.

To install the library you must first install the Profil library in a specific place e.g. /u/Profil which will contain the .a files of Profil together with its header files in the sub-directory incl. Note that this distribution of BIAS/Profil is somewhat different from the standard distribution as some bugs have been corrected.

You will then install the ALIAS library in a specific directory, e.g. /u/ALIAS, which will contain the above library and header files.

The standard distribution includes also three programs based on the ALIAS parser:

• Evaluation: a simple program to get the interval evaluation of formula being given range on the unknowns
• Interval_Analyzer: a program which produces sets of ranges that may contain the real roots of a system (see section 12.4. These sets are an improvement of an initial set of range
• Interval_Solver: a program that take as input the result of Interval_Analyzer and compute the roots of the system (see section 12.2)
• lib_IS.m: a MAPLE library which contain tools for writing equations in a format that can be used by the parser. The location of this library must be indicated in the configuration file of the Analyzer.
• script_solver: a Unix script that take as argument the name of a formula file written in MAPLE format and a range file. With this script the analysis and solving of the system is performed in sequence. This script uses two configuration files, conf_analyzer and conf_solver, which are used by the analyzer and the solver. Before using this script you must update the location of the lib_IS.m library in the configuration file conf_analyzer by changing the directory name following the key-word Location_IS. This script has some optional arguments:
  • -I ineq: indicate that the system has inequalities defined in the MAPLE file ineq
  • -CA confa: indicate that the analyzer must use the configuration file confa instead of the default one
  • -CS confs: indicate that the solver must use the configuration file confs instead of the default one