ModuleMap -- the class of all maps between modules

Types of module map :

• Matrix -- the class of all matrices

Methods that use a module map :

• gradedModuleMap(ModuleMap), see gradedModuleMap -- make a map of graded modules

For the programmer

The object ModuleMap is a type, with ancestor classes HashTable < Thing.