1 | % $Id: manual.tex,v 1.13 1997/12/13 05:36:18 marek Exp $
|
---|
2 | % -*- Mode: latex -*-
|
---|
3 | \documentclass{article}
|
---|
4 | %
|
---|
5 | \usepackage[dvips]{color}
|
---|
6 | \usepackage{fullpage}
|
---|
7 | \usepackage{man}
|
---|
8 | %
|
---|
9 | \input ../contrib/user_man/lisp-documentation
|
---|
10 | \title{CGBLisp User Guide and Manual}
|
---|
11 | \author{Marek Rychlik}
|
---|
12 | \pagecolor{white}
|
---|
13 | \begin{document}
|
---|
14 | \maketitle
|
---|
15 | \tableofcontents
|
---|
16 | %----------------------------------------------------------------
|
---|
17 | %\section{The CGB-Lisp package}
|
---|
18 | %\input cgb-lisp.tex
|
---|
19 | %----------------------------------------------------------------
|
---|
20 | \section{The Gr\"obner Basis package}
|
---|
21 | \input grobner.tex
|
---|
22 | %----------------------------------------------------------------
|
---|
23 | \section{The String Interface to the Gr\"obner Basis package}
|
---|
24 | \input string-grobner.tex
|
---|
25 | %----------------------------------------------------------------
|
---|
26 | \section{The Comprehensive Gr\"obner basis package}
|
---|
27 | \input colored-poly.tex
|
---|
28 | %----------------------------------------------------------------
|
---|
29 | \section{The Coefficient Ring package}
|
---|
30 | %----------------------------------------------------------------
|
---|
31 | \input coefficient-ring.tex
|
---|
32 | %----------------------------------------------------------------
|
---|
33 | \section{The Division Package}
|
---|
34 | \input division.tex
|
---|
35 | %----------------------------------------------------------------
|
---|
36 | \section{The Dynamical Systems package}
|
---|
37 | \input dynamics.tex
|
---|
38 | %----------------------------------------------------------------
|
---|
39 | \section{The Geometric Theorem Prover package}
|
---|
40 | \input prover.tex
|
---|
41 | %----------------------------------------------------------------
|
---|
42 | \section{The Monomial Order Package}
|
---|
43 | \input order.tex
|
---|
44 | %----------------------------------------------------------------
|
---|
45 | \section{The Polynomial Package}
|
---|
46 | \input poly.tex
|
---|
47 | %----------------------------------------------------------------
|
---|
48 | \section{The Parser Package}
|
---|
49 | \input parse.tex
|
---|
50 | %----------------------------------------------------------------
|
---|
51 | \section{Other packages}
|
---|
52 | \input makelist.tex
|
---|
53 | \input monom.tex
|
---|
54 | \input poly-gcd.tex
|
---|
55 | \input poly-with-sugar.tex
|
---|
56 | \input printer.tex
|
---|
57 | \input rat.tex
|
---|
58 | \input ratpoly.tex
|
---|
59 | \input term.tex
|
---|
60 | \input xgcd.tex
|
---|
61 | \appendix
|
---|
62 | \section{All examples produced by the {\tt all-examples} utility}
|
---|
63 | \begin{small}
|
---|
64 | \input examples.tex
|
---|
65 | \end{small}
|
---|
66 | \end{document}
|
---|