hide isl_set internals
[isl.git] / doc / manual.tex
blob191f4d193951a653556f404a4e1fad77043b7107
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}
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$}}}
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}
28 \newcommand{\algocflineautorefname}{Algorithm}
29 \newcommand{\exampleautorefname}{Example}
30 \newcommand{\lstnumberautorefname}{Line}
31 \renewcommand{\sectionautorefname}{Section}
32 \renewcommand{\subsectionautorefname}{Section}
34 \def\Z{\mathbb{Z}}
35 \def\Q{\mathbb{Q}}
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}
42 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
44 \begin{document}
46 \title{Integer Set Library: Manual\\
47 \small Version: \input{version} }
48 \author{Sven Verdoolaege}
50 \maketitle
51 \tableofcontents
53 \chapter{User Manual}
55 \input{user}
57 \chapter{Implementation Details}
59 \input{implementation}
61 \bibliography{isl}
62 \bibliographystyle{chicago}
64 \end{document}