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