Generated on Thu Sep 29 2016 10:48:09 by   doxygen 1.8.12 for Singular debian-4.0.3-p1+ds-4