\chapcontents {1}{Introduction}{3}
\seccontents {1.1}{Setup for computing the correspondence} {3}
\seccontents {1.2}{Collection} {3}
\chapcontents {2}{Computing the Mal'cev correspondence}{4}
\seccontents {2.1}{The main functions} {4}
\seccontents {2.2}{An example application} {5}
\chapcontents {3}{Mal'cev collection}{7}
\seccontents {3.1}{The main functions} {7}
\seccontents {3.2}{An example application} {8}
\chapcontents {4}{Installation}{9}
\seccontents {4.1}{Installing this package} {9}
\seccontents {4.2}{Loading the Guarana package} {9}
\seccontents {4.3}{Running the test suite} {9}
\chapcontents {}{Bibliography}{10}
\chapcontents {}{Index}{11}