D = C1 ++ C2
D = directSum(C1,C2,...)
D = directSum(name1 => C1, name2 => C2, ...)
The direct sum of two complexes is another complex.
|
|
|
|
|
|
The direct sum of a sequence of complexes can be computed as follows.
|
|
The direct sum is an n-ary operator with projection and inclusion maps from each component satisfying appropriate identities.
|
|
|
|
|
|
|
|
There are two short exact sequences associated to a direct sum.
|
|
Given a complex which is a direct sum, we obtain the component complexes and their names (indices) as follows.
|
|
|
|
The source of this document is in Complexes/ChainComplexDoc.m2:2167:0.