1\documentclass{report} 2\usepackage[T1]{fontenc} 3\usepackage[plainpages=false,pdfpagelabels,breaklinks]{hyperref} 4\usepackage[backend=biber,isbn=false,url=false,doi=true,% 5maxbibnames=99,style=authoryear,sortcites=true,sorting=nyt,backref=true,% 6indexing=true,mincitenames=2,maxcitenames=2,datelabel=comp,dashed=false,% 7useprefix=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} 17 18\addbibresource{isl.bib} 19 20\renewbibmacro*{finentry}{\iflistundef{pageref}{}{\renewcommand{\finentrypunct}{}}\finentry} 21\renewbibmacro*{pageref}{% 22 \iflistundef{pageref} 23 {} 24 {\setunit{\adddot\addspace}\printtext{% 25 \mbox{}\penalty100\hfill\hbox{[\printlist[pageref][-\value{listtotal}]{pageref}]}}}} 26 27\lstset{basicstyle=\tt,flexiblecolumns=false} 28 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$}}} 33 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} 39 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} 50 51\newcommand{\algocflineautorefname}{Algorithm} 52\newcommand{\exampleautorefname}{Example} 53\newcommand{\lstnumberautorefname}{Line} 54\renewcommand{\sectionautorefname}{Section} 55\renewcommand{\subsectionautorefname}{Section} 56\renewcommand{\algorithmautorefname}{Algorithm} 57 58\DeclareFieldFormat{date}{\hypertarget{\thefield{entrykey}}{#1}} 59\def\isl{\hyperlink{Verdoolaege2010isl}{\texttt{isl}}\xspace} 60 61\def\Z{\mathbb{Z}} 62\def\Q{\mathbb{Q}} 63 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} 69 70\providecommand{\floor}[1]{\left\lfloor#1\right\rfloor} 71 72\begin{document} 73 74\title{Integer Set Library: Manual\\ 75\small Version: \input{version} } 76\author{Sven Verdoolaege} 77 78\maketitle 79\tableofcontents 80 81\chapter{User Manual} 82 83\input{user} 84 85\chapter{Implementation Details} 86 87\input{implementation} 88 89\chapter{Further Reading} 90 91\input{reading} 92 93\printbibliography 94 95\end{document} 96