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