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