homalg-project/GradedModules — pull request #9 by sebasguts (2011-10-25 13:33:57+00:00)
Title: GradedMap changed.

GradedMap now checks if theres a List of HomalgElements, not a
List of Integers, and creates lists of Elements. The deleted Methods
were deleted by Markus to get rid of Minimum.