A map between two labeled modules remembers the labeled module structure of the source of target. Some, but not all methods available for maps have been extended to this class. In these cases, one should apply the method to the underlying matrix. See rank(LabeledModuleMap) (missing documentation) .
The object LabeledModuleMap is a type, with ancestor classes HashTable < Thing.