isl_map_transitive_closure: handle existentials
[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
29 \def\Z{\mathbb{Z}}
30 \def\Q{\mathbb{Q}}
31
32 \def\pdom{\mathop{\rm pdom}\nolimits}
33 \def\domain{\mathop{\rm dom}\nolimits}
34 \def\range{\mathop{\rm ran}\nolimits}
35 \def\identity{\mathop{\rm Id}\nolimits}
36
37 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
38
39 \begin{document}
40
41 \title{Integer Set Library: Manual}
42 \author{Sven Verdoolaege}
43
44 \maketitle
45 \tableofcontents
46
47 \chapter{User Manual}
48
49 \input{user}
50
51 \chapter{Implementation Details}
52
53 \input{implementation}
54
55 \bibliography{isl}
56 \bibliographystyle{chicago}
57
58 \end{document}