isl_map_gist_basic_map: remove alignment of context divs with all basic maps

[platform/upstream/isl.git] / doc / manual.tex

diff --git a/doc/manual.tex b/doc/manual.tex
index 191f4d1..91b3db0 100644 (file)
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -8,12 +8,22 @@
 \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}
@@ -38,6 +48,7 @@
 \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}