We illustrate the image of a complex under a ring map.
|
|
|
|
|
|
|
|
|
When the ring map doesn't preserve homogeneity, the DegreeMap option is needed to determine the degrees of the image free modules in the complex.
|
|
|
|
|
|
|
|
Every term in the complex must be free or a submodule of a free module. Otherwise, use tensor(RingMap,Complex).
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Complexes/ChainComplexDoc.m2:3139:0.