% ----------------------------------------------------------------------------
%
%                                  Hans Wolfgang Loidl, RISC-Linz,  31.10.1991 
%
% SW-form for SACLIB.
%
% Changes:    <By whom>, <When>, <What changes> 
%
% H.W.  Loidl, 7.11.1991, Title in \bf style, contents of
%                         `Functions' in \tt style
% A. Neubacher  93-05-03  Added form.
%
%
% ----------------------------------------------------------------------------


\subsubsection*{\bf SACLIB}

\begin{itemize}
 \item {\bf Name:} SACLIB 1.1, ISAC 2.0    % Full name and version of the software product (sw-p).

 \item {\bf Location:} \ \ % Full path of the sw-p (references to other
	                   % important directories might be included here).
   \begin{itemize}
     \item {\tt /usr/local/saclib:}
	The maintenance directory.
     \item {\tt /usr/local/saclib/saclib1.1:}
	The root of the directory tree for the current version.
   \end{itemize}

 \item {\bf Type:}     % What sort of sw-p is this?
	Computer Algebra Library for the C programming language.
		% Possible entries are: (Parallelizing) Compiler, Debugger,
                   % Editor, Computer Algebra System etc.

 \item {\bf Characterization:} % A short description of what the sw-p
                           % does (no longer than 50 words).
	SACLIB contains programs for list processing, infinite precision
	arithmetic (integer, rational and modular), operations on
	multivariate polynomials (arithmetic operations, substitution,
	greatest common divisors, resultants, factorization, and
	others), polynomial real root isolation and refinement,
	and operations with real algebraic numbers and polynomials
	having algebraic number coefficients.

	There is also a simple interactive shell called {\tt isac} which can
	be used for experimenting with the functions in the library.

 \item {\bf Functions:}     % Description of the main features of the 
                        % sw-p.
                        % This should include the following subtopics:

	These are only the functions of {\tt isac}, the interactive shell.
	In general, the library functions are intended to be called from a
	program.
       \begin{itemize}
        \item {Invocation:}  {\tt isac} % How to start the sw-p.
        \item {Termination:} {\tt quit;} % How to leave the sw-p.
        \item {Help:}        {\tt help;} % How to get help.
        \item {Example:} \ \\  % An Example of a typical session with the usage
                                    % of some important features.
	\begin{quote}
	\begin{verbatim}
1> I := 50;

2>  F := IFACTL(I);

3> IWRITE(F);
30414093201713378043612608166064768844377641568960512000000000000
4> quit;

	\end{verbatim}
	\end{quote}
        \item {Other important functions:}  % A list of important functions.
		The shell scripts {\tt sman} and {\tt sdesc} can be used for
		getting help on SACLIB functions. See the manual for a
		description of these commands.
       \end{itemize}

 \item {\bf Installation:}  % Which environment vars have to be set, etc.
	Your environment must have the variable {\tt saclib} set to \\ {\tt
	/usr/local/saclib/saclib1.1} and your path must contain \\ {\tt
	/usr/local/saclib/saclib1.1/bin}.

 \item {\bf Manuals:}       % Name, location and version of the manuals for this
                            % sw-p.
	{\tt /usr/local/saclib/saclib1.1/doc/saclib.dvi} and \\ {\tt
	/usr/local/saclib/saclib1.1/doc/saclocal.dvi}.
 
\end{itemize}


