next | previous | forward | backward | up | top | index | toc | home

source(GradedModuleMap) -- find the source of a map of graded modules

Synopsis

Usage:
source f
Function: source
Inputs:
- f, a graded module map
Outputs:
- a graded module