Generated on Tue Nov 17 2015 21:20:50 by   doxygen 1.8.9.1 for Singular debian-4.0.2-p2+ds-3