Singular/Sources — pull request #377 by adipopescu (2013-09-21 10:07:13+00:00)
Title: library that computes hdepth_1 of a module M

added a new library