The library is intended to be used for teaching purposes, but not
for serious computations. Sufficiently high printlevel allows to
control each step, thus illustrating the algorithms at work.
The procedures are implemented exactly as described in the book
'A SINGULAR Introduction to Commutative Algebra' by G.-M. Greuel and
G. Pfister (Springer 2002).