chainComplex C
This constructs the cellular chain complex for a cell complex, taking into account the labels on the cells. The resulting cell complex will be a complex of modules over the ring associated to the cell complex. By default, the option "Reduced" is set to true, so the resulting ChainComplex has a rank 1 free module in homological degree 1.







For details see Combinatorial Commutative Algebra Section 4.1. If we restrict to the case of monomial labels, then, subject to some acyclicity conditions, the resulting complex will be (up to a shift by 1 in homological degree) a resolution of $S/I$ where $I$ is the ideal generated by the labels of the vertices. With the "Reduced" option set to false, the resulting complex will be a resolution of the ideal $I$ as a module.












The option "Prune," also defaulted to true, controls whether the modules in the complex are pruned before being returned. With the "Prune" option set to the default of true, the resulting complex is visually nicer. However, unless the labeling ring is fine graded, some of the structure will be lost.






