Generated on Fri Oct 14 2016 22:41:33 by   doxygen 1.8.12 for Singular debian-4.0.3-p3+ds-2