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
  26 \newtheorem{theorem}{Theorem}
  27 \newaliascnt{example}{theorem}
  28 \newtheorem{example}[example]{Example}
  29 \newaliascnt{def}{theorem}
  30 \newtheorem{definition}[def]{Definition}
  31 \aliascntresetthe{example}
  32 \aliascntresetthe{def}
  33 \numberwithin{theorem}{section}
  34 \numberwithin{def}{section}
  35 \numberwithin{example}{section}
  36
  37 \newcommand{\algocflineautorefname}{Algorithm}
  38 \newcommand{\exampleautorefname}{Example}
  39 \newcommand{\lstnumberautorefname}{Line}
  40 \renewcommand{\sectionautorefname}{Section}
  41 \renewcommand{\subsectionautorefname}{Section}
  42
  43 \def\Z{\mathbb{Z}}
  44 \def\Q{\mathbb{Q}}
  45
  46 \def\pdom{\mathop{\rm pdom}\nolimits}
  47 \def\domain{\mathop{\rm dom}\nolimits}
  48 \def\range{\mathop{\rm ran}\nolimits}
  49 \def\identity{\mathop{\rm Id}\nolimits}
  50 \def\diff{\mathop{\Delta}\nolimits}
  51
  52 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
  53
  54 \begin{document}
  55
  56 \title{Integer Set Library: Manual\\
  57 \small Version: \input{version} }
  58 \author{Sven Verdoolaege}
  59
  60 \maketitle
  61 \tableofcontents
  62
  63 \chapter{User Manual}
  64
  65 \input{user}
  66
  67 \chapter{Implementation Details}
  68
  69 \input{implementation}
  70
  71 \bibliography{isl}
  72 \bibliographystyle{chicago}
  73
  74 \end{document}