\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}Copyright}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Installation}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Using the library}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {5}Types}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {6}Arithmetic}{4}{}\protected@file@percent }
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Primitive arithmetic functions}}{4}{}\protected@file@percent }
\newlabel{arith-table}{{1}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Special functions}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {8}Forcing, printing and conversion}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {9}Predicates, Boolean operations and conditionals}{8}{}\protected@file@percent }
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Predicates on reals}}{8}{}\protected@file@percent }
\newlabel{pred}{{2}{8}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Boolean operators}}{9}{}\protected@file@percent }
\newlabel{Bool-Ops}{{3}{9}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Action of the predicate \texttt  {gtEq{\_}R{\_}0}}}{9}{}\protected@file@percent }
\newlabel{Truth-values}{{4}{9}}
\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Action of the Boolean operators}}{10}{}\protected@file@percent }
\newlabel{op-action}{{5}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Example of conditional with delays.}}{12}{}\protected@file@percent }
\newlabel{fig:conditionals}{{1}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {10}Extracting digits following forcing}{13}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {11}Environment variables}{13}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Taking digits one-by-one.}}{14}{}\protected@file@percent }
\newlabel{fig:digits-info}{{2}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {12}The daVinci interface}{15}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {13}Compilation flags}{16}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {14}Problems}{16}{}\protected@file@percent }
\gdef \@abspage@last{16}