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

source -- source of a map

Description

Gives the source of a map of rings, chain complexes or modules

See also

target -- target of a map

Ways to use `source` :

source(ChainComplexMap) -- find the source of a map of chain complexes
source(GradedModuleMap) -- find the source of a map of graded modules
source(Matrix) -- find the source module of matrix
source(RingMap) -- find the source ring for a map of rings