How do I get and install $\Sigma{}^{{\rm it}}$?

You can download $\Sigma{}^{{\rm it}}$ by anonymous ftp from the CAFÉ server at

ftp-sop.inria.fr in cafe/software/sumit

or from the URL:

http://www.inria.fr/cafe/Manuel.Bronstein/sumit

After downloading the file sumit.tar.gz, issue ``gzip -dc sumit.tar.gz | tar -xvf -'' in order to unpack it. This will create the following directories:

• sumit/doc: this user guide,
• sumit/lib: the library,
• sumit/include: the required include files,
• sumit/test: some test files,
• sumit/samples: $\Sigma{}^{{\rm it}}$ programming samples,
• sumit/debug: the debug version of the library.

Once the above file is unpacked, do the following:

• add the option -csys=XXX to your AXIOMXLARGS environment variable, where XXX depends on your hardware and operating system. Common values for XXX are axposf1v4 for OSF1 V4.0 on a DEC Alpha, linux-486 for linux on a 486 or above PC, and sun4os55g-v8 for SunOS 5.5 on a SPARC v8 machine. See the file $AXIOMXLROOT/include/axiomxl.conf for other values;
• make sure that the variable SALLIROOT is set to the main salli directory (and not its debug version), that $SALLIROOT/include is in your INCPATH variable and that $SALLIROOT/lib is in your LIBPATH variable; Go then to the sumit/lib directory and execute source makesumit;
• if you want to build the debug version of the library, make sure that the variable SALLIROOT is set to the main salli/debug directory (and not its release version), then reset your INCPATH and LIBPATH variables so that the updated $SALLIROOT/include is in your INCPATH variable and that the updated $SALLIROOT/lib is in your LIBPATH variable; Go then to the sumit/debug/lib directory and execute source makesumit. See the subsection on debugging for more information on using the debug library.