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\usetikzlibrary{matrix,fit,backgrounds,decorations.pathmorphing,positioning}
12\usepackage{listings}
13
14\lstset{basicstyle=\tt,flexiblecolumns=false}
15
16\def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
17{\mbox{\boldmath$\textstyle\bf#1$}}
18{\mbox{\boldmath$\scriptstyle\bf#1$}}
19{\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}
20
21\providecommand{\fract}[1]{\left\{#1\right\}}
22\providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
23\providecommand{\ceil}[1]{\left\lceil#1\right\rceil}
24\def\sp#1#2{\langle #1, #2 \rangle}
25\def\spv#1#2{\langle\vec #1,\vec #2\rangle}
26
27\newtheorem{theorem}{Theorem}
28\newaliascnt{example}{theorem}
29\newtheorem{example}[example]{Example}
30\newaliascnt{def}{theorem}
31\newtheorem{definition}[def]{Definition}
32\aliascntresetthe{example}
33\aliascntresetthe{def}
34\numberwithin{theorem}{section}
35\numberwithin{def}{section}
36\numberwithin{example}{section}
37
38\newcommand{\algocflineautorefname}{Algorithm}
39\newcommand{\exampleautorefname}{Example}
40\newcommand{\lstnumberautorefname}{Line}
41\renewcommand{\sectionautorefname}{Section}
42\renewcommand{\subsectionautorefname}{Section}
43
44\def\Z{\mathbb{Z}}
45\def\Q{\mathbb{Q}}
46
47\def\pdom{\mathop{\rm pdom}\nolimits}
48\def\domain{\mathop{\rm dom}\nolimits}
49\def\range{\mathop{\rm ran}\nolimits}
50\def\identity{\mathop{\rm Id}\nolimits}
51\def\diff{\mathop{\Delta}\nolimits}
52
53\providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
54
55\begin{document}
56
57\title{Integer Set Library: Manual\\
58\small Version: \input{version} }
59\author{Sven Verdoolaege}
60
61\maketitle
62\tableofcontents
63
64\chapter{User Manual}
65
66\input{user}
67
68\chapter{Implementation Details}
69
70\input{implementation}
71
72\bibliography{isl}
73\bibliographystyle{chicago}
74
75\end{document}
76