| \documentclass{report} |
| \usepackage[plainpages=false,pdfpagelabels,breaklinks,pagebackref]{hyperref} |
| \usepackage{amsmath} |
| \usepackage{amssymb} |
| \usepackage{txfonts} |
| \usepackage{chicago} |
| \usepackage{aliascnt} |
| \usepackage{tikz} |
| \usepackage{calc} |
| \usepackage[ruled]{algorithm2e} |
| \usetikzlibrary{matrix,fit,backgrounds,decorations.pathmorphing,positioning} |
| \usepackage{listings} |
| |
| \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} |
| |
| \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} |
| |
| \bibliography{isl} |
| \bibliographystyle{chicago} |
| |
| \end{document} |