The Hasse diagram of a poset is a Digraph with vertices given by the ground set of P and which has the direct edge (a,b) if and only if a < b in P and there exists no c such that a < c < b.
i1 : hasseDiagram booleanLattice 3 o1 = Digraph{0 => {1, 2, 4}} 1 => {3, 5} 2 => {3, 6} 3 => {7} 4 => {5, 6} 5 => {7} 6 => {7} 7 => {} o1 : Digraph |
This method renames the vertices with integers 0, 1, ... corresponding to the index of the vertices in the GroundSet.