isl_basic_map_gist: allow existentially quantified variables
[isl.git] / doc / manual.tex
blob3116241490f7560b3d8c5af976db668252a6973c
1 \documentclass{report}
2 \usepackage[T1]{fontenc}
3 \usepackage[plainpages=false,pdfpagelabels,breaklinks]{hyperref}
4 \usepackage[backend=biber,isbn=false,url=false,doi=true,%
5 maxbibnames=99,style=authoryear,sortcites=true,sorting=nyt,backref=true,%
6 indexing=true,mincitenames=2,maxcitenames=2,datelabel=comp,dashed=false,%
7 useprefix=true]{biblatex}
8 \usepackage{amsmath}
9 \usepackage{amssymb}
10 \usepackage{txfonts}
11 \usepackage{aliascnt}
12 \usepackage{tikz}
13 \usepackage{calc}
14 \usepackage[ruled]{algorithm2e}
15 \usetikzlibrary{matrix,fit,backgrounds,decorations.pathmorphing,positioning}
16 \usepackage{listings}
18 \addbibresource{isl.bib}
20 \renewbibmacro*{finentry}{\iflistundef{pageref}{}{\renewcommand{\finentrypunct}{}}\finentry}
21 \renewbibmacro*{pageref}{%
22 \iflistundef{pageref}
24 {\setunit{\adddot\addspace}\printtext{%
25 \mbox{}\penalty100\hfill\hbox{[\printlist[pageref][-\value{listtotal}]{pageref}]}}}}
27 \lstset{basicstyle=\tt,flexiblecolumns=false}
29 \def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
30 {\mbox{\boldmath$\textstyle\bf#1$}}
31 {\mbox{\boldmath$\scriptstyle\bf#1$}}
32 {\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}
34 \providecommand{\fract}[1]{\left\{#1\right\}}
35 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
36 \providecommand{\ceil}[1]{\left\lceil#1\right\rceil}
37 \def\sp#1#2{\langle #1, #2 \rangle}
38 \def\spv#1#2{\langle\vec #1,\vec #2\rangle}
40 \newtheorem{theorem}{Theorem}
41 \newaliascnt{example}{theorem}
42 \newtheorem{example}[example]{Example}
43 \newaliascnt{def}{theorem}
44 \newtheorem{definition}[def]{Definition}
45 \aliascntresetthe{example}
46 \aliascntresetthe{def}
47 \numberwithin{theorem}{section}
48 \numberwithin{def}{section}
49 \numberwithin{example}{section}
51 \newcommand{\algocflineautorefname}{Algorithm}
52 \newcommand{\exampleautorefname}{Example}
53 \newcommand{\lstnumberautorefname}{Line}
54 \renewcommand{\sectionautorefname}{Section}
55 \renewcommand{\subsectionautorefname}{Section}
56 \renewcommand{\algorithmautorefname}{Algorithm}
58 \DeclareFieldFormat{date}{\hypertarget{\thefield{entrykey}}{#1}}
59 \def\isl{\hyperlink{Verdoolaege2010isl}{\texttt{isl}}\xspace}
61 \def\Z{\mathbb{Z}}
62 \def\Q{\mathbb{Q}}
64 \def\pdom{\mathop{\rm pdom}\nolimits}
65 \def\domain{\mathop{\rm dom}\nolimits}
66 \def\range{\mathop{\rm ran}\nolimits}
67 \def\identity{\mathop{\rm Id}\nolimits}
68 \def\diff{\mathop{\Delta}\nolimits}
70 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
72 \begin{document}
74 \title{Integer Set Library: Manual\\
75 \small Version: \input{version} }
76 \author{Sven Verdoolaege}
78 \maketitle
79 \tableofcontents
81 \chapter{User Manual}
83 \input{user}
85 \chapter{Implementation Details}
87 \input{implementation}
89 \chapter{Further Reading}
91 \input{reading}
93 \printbibliography
95 \end{document}