A Hasse diagram is a list describing the connexions in a Hasse diagram. It contains sublists representing rows. Each row contains several vertices together with edges to some element in the next row given by its position in the row. This data format is intended for displaying.

- hasseDiagramToGraph(HasseDiagram) -- turning a hasse diagram into a graph (intended for graphic representation)
- poincareSeries(HasseDiagram,RingElement) -- the generating series of a Hasse diagram

The object HasseDiagram is a type, with ancestor classes BasicList < Thing.