Generated on Wed Jan 31 2018 10:57:48 by   doxygen 1.8.13 for Singular debian-1:4.1.0-p3+ds-2build1