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

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

Synopsis

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