subcomplex(C,m)
subcomplex(C,d)
C_m
C_d
This function computes the subcomplex of the input cell complex induced by a monomial or a degree. The returned cell complex will be labeled over the coefficient ring of the label ring of the original cell complex, or the ring given by the LabelRing optional parameter if provided.
When given a monomial, the function expects all labels to be monomials, ideals, or submodules of the ring associated to the cell complex. In that case, the returned cell complex will be the subcomplex of the original complex containing the cells whose labels either divide or contain the provided monomial. The labels on the cells in the returned cell complexes will be 1.




When given a degree, the function will use basis to find the appropriate free module over the new label ring representing the elements of that degree in the module associated to the label

In general, the degree version is intended to be used with finegraded polynomial rings



The object subcomplex is a method function with options.