e9c594f19bec411b1aacc59cf407d91a72367d59
[platform/upstream/isl.git] / doc / manual.tex
1 \documentclass{report}
2 \usepackage[plainpages=false,pdfpagelabels,breaklinks,pagebackref]{hyperref}
3 \usepackage{amsmath}
4 \usepackage{amssymb}
5 \usepackage{txfonts}
6 \usepackage{chicago}
7 \usepackage{aliascnt}
8 \usepackage{tikz}
9 \usepackage{calc}
10
11 \def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
12 {\mbox{\boldmath$\textstyle\bf#1$}}
13 {\mbox{\boldmath$\scriptstyle\bf#1$}}
14 {\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}
15
16 \newtheorem{theorem}{Theorem}
17 \newaliascnt{example}{theorem}
18 \newtheorem{example}[example]{Example}
19 \newaliascnt{def}{theorem}
20 \newtheorem{definition}[def]{Definition}
21 \aliascntresetthe{example}
22 \aliascntresetthe{def}
23 \numberwithin{theorem}{section}
24 \numberwithin{def}{section}
25 \numberwithin{example}{section}
26
27 \newcommand{\exampleautorefname}{Example}
28 \renewcommand{\subsectionautorefname}{Section}
29
30 \def\Z{\mathbb{Z}}
31 \def\Q{\mathbb{Q}}
32
33 \def\pdom{\mathop{\rm pdom}\nolimits}
34 \def\domain{\mathop{\rm dom}\nolimits}
35 \def\range{\mathop{\rm ran}\nolimits}
36 \def\identity{\mathop{\rm Id}\nolimits}
37
38 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
39
40 \begin{document}
41
42 \title{Integer Set Library: Manual}
43 \author{Sven Verdoolaege}
44
45 \maketitle
46 \tableofcontents
47
48 \chapter{User Manual}
49
50 \input{user}
51
52 \chapter{Implementation Details}
53
54 \input{implementation}
55
56 \bibliography{isl}
57 \bibliographystyle{chicago}
58
59 \end{document}