HasseDiagram -- the class of Hasse diagrams

Description

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.

Methods that use an object of class HasseDiagram:

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

For the programmer

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