2 \usepackage[plainpages=false,pdfpagelabels,breaklinks,pagebackref
]{hyperref
}
10 \usepackage[ruled
]{algorithm2e
}
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$
}}}
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
}
28 \newcommand{\algocflineautorefname}{Algorithm
}
29 \newcommand{\exampleautorefname}{Example
}
30 \newcommand{\lstnumberautorefname}{Line
}
31 \renewcommand{\sectionautorefname}{Section
}
32 \renewcommand{\subsectionautorefname}{Section
}
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}
42 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
46 \title{Integer Set Library: Manual\\
47 \small Version:
\input{version
} }
48 \author{Sven Verdoolaege
}
57 \chapter{Implementation Details
}
59 \input{implementation
}
62 \bibliographystyle{chicago
}