doc/manual.tex

   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
  12 \def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle\bf#1$}}
  13 {\mbox{\boldmath$\textstyle\bf#1$}}
  14 {\mbox{\boldmath$\scriptstyle\bf#1$}}
  15 {\mbox{\boldmath$\scriptscriptstyle\bf#1$}}}
  16
  17 \newtheorem{theorem}{Theorem}
  18 \newaliascnt{example}{theorem}
  19 \newtheorem{example}[example]{Example}
  20 \newaliascnt{def}{theorem}
  21 \newtheorem{definition}[def]{Definition}
  22 \aliascntresetthe{example}
  23 \aliascntresetthe{def}
  24 \numberwithin{theorem}{section}
  25 \numberwithin{def}{section}
  26 \numberwithin{example}{section}
  27
  28 \newcommand{\algocflineautorefname}{Algorithm}
  29 \newcommand{\exampleautorefname}{Example}
  30 \newcommand{\lstnumberautorefname}{Line}
  31 \renewcommand{\sectionautorefname}{Section}
  32 \renewcommand{\subsectionautorefname}{Section}
  33
  34 \def\Z{\mathbb{Z}}
  35 \def\Q{\mathbb{Q}}
  36
  37 \def\pdom{\mathop{\rm pdom}\nolimits}
  38 \def\domain{\mathop{\rm dom}\nolimits}
  39 \def\range{\mathop{\rm ran}\nolimits}
  40 \def\identity{\mathop{\rm Id}\nolimits}
  41
  42 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
  43
  44 \begin{document}
  45
  46 \title{Integer Set Library: Manual}
  47 \author{Sven Verdoolaege}
  48
  49 \maketitle
  50 \tableofcontents
  51
  52 \chapter{User Manual}
  53
  54 \input{user}
  55
  56 \chapter{Implementation Details}
  57
  58 \input{implementation}
  59
  60 \bibliography{isl}
  61 \bibliographystyle{chicago}
  62
  63 \end{document}