Merge branch 'maint'
[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 \usepackage[ruled]{algorithm2e}
11
12 \def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
13 {\mbox{\boldmath$\textstyle\bf#1$}}
14 {\mbox{\boldmath$\scriptstyle\bf#1$}}
15 {\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}
16
17 \newtheorem{theorem}{Theorem}
18 \newaliascnt{example}{theorem}
19 \newtheorem{example}[example]{Example}
20 \newaliascnt{def}{theorem}
21 \newtheorem{definition}[def]{Definition}
22 \aliascntresetthe{example}
23 \aliascntresetthe{def}
24 \numberwithin{theorem}{section}
25 \numberwithin{def}{section}
26 \numberwithin{example}{section}
27
28 \newcommand{\algocflineautorefname}{Algorithm}
29 \newcommand{\exampleautorefname}{Example}
30 \newcommand{\lstnumberautorefname}{Line}
31 \renewcommand{\sectionautorefname}{Section}
32 \renewcommand{\subsectionautorefname}{Section}
33
34 \def\Z{\mathbb{Z}}
35 \def\Q{\mathbb{Q}}
36
37 \def\pdom{\mathop{\rm pdom}\nolimits}
38 \def\domain{\mathop{\rm dom}\nolimits}
39 \def\range{\mathop{\rm ran}\nolimits}
40 \def\identity{\mathop{\rm Id}\nolimits}
41 \def\diff{\mathop{\Delta}\nolimits}
42
43 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
44
45 \begin{document}
46
47 \title{Integer Set Library: Manual\\
48 \small Version: \input{version} }
49 \author{Sven Verdoolaege}
50
51 \maketitle
52 \tableofcontents
53
54 \chapter{User Manual}
55
56 \input{user}
57
58 \chapter{Implementation Details}
59
60 \input{implementation}
61
62 \bibliography{isl}
63 \bibliographystyle{chicago}
64
65 \end{document}