Home
The unlabeled lattices on
<=15 nodes
The unlabeled lattices on 15 or fewer nodes, up to isomorphism, are
given in the following files as lists of cover
relations. Each line of each file is the list of cover relations for a single lattice, and the cover relation [a,b] means b covers a. These files were generated with a Sage
implementation of the
algorithm of Heitzig
and Reinhold.
In these files, the nodes of the lattices of order n are the integers from 0 to n-1. In each of these lattices 0 is the minimal
element and 1 is the maximal element.
You will need to uncompress these files with a utility such as 7zip.
The
unlabeled lattice on 2 nodes (1 lattice)
The
unlabeled lattice on 3 nodes (1 lattice)
The
unlabeled lattices on 4 nodes (2 lattices)
The
unlabeled lattices on 5 nodes (5 lattices)
The
unlabeled lattices on 6 nodes (15 lattices)
The
unlabeled lattices on 7 nodes (53 lattices)
The
unlabeled lattices on 8 nodes (222 lattices; uncompressed size: 12.8 KB)
The
unlabeled lattices on 9 nodes (1078 lattices; uncompressed size: 72.1
KB)
The
unlabeled lattices on 10 nodes (5994 lattices; uncompressed size: 457
KB)
The
unlabeled lattices on 11 nodes (37622 lattices; uncompressed size: 3.26
MB)
The
unlabeled lattices on 12 nodes (262776 lattices; uncompressed size:
26.0 MB)
The
unlabeled lattices on 13 nodes (2018305 lattices; uncompressed size:
224 MB)
The
unlabeled lattices on 14 nodes (16873364 lattices; uncompressed size:
2.03 GB)
The
unlabeled lattices on 15 nodes (152233518 lattices; uncompressed size:
20.2 GB)
Last updated Dec. 13, 2013 (links updated March 14, 2024)