This class represents a single cell in a cell complex. A cell has a boundary, a dimension, and a label. In most cases, the label should be a monomial. But the cells in this package may be anything. However for functions such as complex to work, the labels should be either monomials, ideals, or modules. In the monomial case, we can view the label as a module by taking the submodule generated by the monomial in the ring. There should be canonical inclusions maps from the label on any cell to the labels of the cells in its boundary.
The object Cell is a type, with ancestor classes MutableHashTable < HashTable < Thing.