%	$Id: manual.tex,v 1.13 1997/12/13 05:36:18 marek Exp $	
% -*- Mode: latex -*-
\documentclass{article}
%
\usepackage[dvips]{color}
\usepackage{fullpage}
\usepackage{man}
%
\input ../contrib/user_man/lisp-documentation
\title{CGBLisp User Guide and Manual}
\author{Marek Rychlik}
\pagecolor{white}
\begin{document}
\maketitle
\tableofcontents
%----------------------------------------------------------------
%\section{The CGB-Lisp package}
%\input cgb-lisp.tex
%----------------------------------------------------------------
\section{The Gr\"obner Basis package}
\input grobner.tex
%----------------------------------------------------------------
\section{The String Interface to the Gr\"obner Basis package}
\input string-grobner.tex
%----------------------------------------------------------------
\section{The Comprehensive Gr\"obner basis package}
\input colored-poly.tex
%----------------------------------------------------------------
\section{The Coefficient Ring package}
%----------------------------------------------------------------
\input coefficient-ring.tex
%----------------------------------------------------------------
\section{The Division Package}
\input division.tex
%----------------------------------------------------------------
\section{The Dynamical Systems package}
\input dynamics.tex
%----------------------------------------------------------------
\section{The Geometric Theorem Prover package}
\input prover.tex
%----------------------------------------------------------------
\section{The Monomial Order Package}
\input order.tex
%----------------------------------------------------------------
\section{The Polynomial Package}
\input poly.tex
%----------------------------------------------------------------
\section{The Parser Package}
\input parse.tex
%----------------------------------------------------------------
\section{Other packages}
\input makelist.tex
\input monom.tex
\input poly-gcd.tex
\input poly-with-sugar.tex
\input printer.tex
\input rat.tex
\input ratpoly.tex
\input term.tex
\input xgcd.tex
\appendix 
\section{All examples produced by the {\tt all-examples} utility}
\begin{small}
\input examples.tex
\end{small}
\end{document}
