Unimodular Hunting
By Gaëtan Chenevier
This website is a companion to the paper
Unimodular Hunting
by the author.
It includes a database of all of our lattices, as well as some
PARI/GP
scripts to play with those lists and check that they are complete.
(14/07/2020) Tables of unimodular lattices of rank ≤ 27
A list of all unimodular lattices of rank
≤ 27 given in neighbor form (readme).
This is a PARI/GP readable file (2.2 MB).
A companion file
for a few helpful gp scripts to play with the list above.
It includes an automatized proof that our lists of lattices are complete
(tutorial).
A list of Gram matrices for all
the unimodular integral lattices of rank ≤ 27 without norm 1 vectors:
dim8_even,
dim16_even,
dim24_even (Niemeier lattices),
dim12,
dim14,
dim15,
dim16_odd,
dim17,
dim18,
dim19,
dim20,
dim21,
dim22,
dim23,
dim24_odd,
dim25,
dim26,
dim27 (gzipped, 3.5 MB).
See here for the format of these lists.