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 \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}