cloog-0.16.3/isl/doc/manual.tex

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