The example decimation of edge s = {3, 4} in a constructed example.
(a) A geometric realization of the complex before and after decimation.
(b) Explicitly drawn out Hasse diagrams for the constructed example where the TOP is before, and BOTTOM is after decimation. Grey arrows mark the relationships between sets of simplices before and after. Because there is always a mapping, users can define strategies to manage the stored data.