Please see the detailed documentation in the file Documentation.pdf (in the
subdirectory doc).
