\chapcontents {1}{Some basic functions}{5}
\chapcontents {2}{Computing Kernels}{8}
\chapcontents {3}{Computing with implicit operations}{11}
\seccontents {3.1}{Implicit operations} {11}
\seccontents {3.2}{Checking pseudoidentities} {12}
\chapcontents {}{Bibliography}{14}
\chapcontents {}{Index}{15}
