C = source f
Given a complex map $f : C \to D$ this method returns the chain complex $C$.
|
|
|
|
|
|
|
|
|
|
|
The differential in a complex is a map of chain complexes.
|
|
|
|
|
The source of this document is in Complexes/ChainComplexMapDoc.m2:637:0.