\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}