Database

All files are compressed

Dimension	Status	Number	# polar	# simplicial	# stab	# cs	Size	Download
0	Done	1	1	1	1	0	10B	gzip (27B), xz (68B)
1	Done	1	1	1	1	1	13B	gzip (31B), xz (72B)
2	Done	2	2	2	2	1	43B	gzip (47B), xz (88B)
3	Done	5	4	4	4	2	212B	gzip (100B), xz (140B)
4	Done	19	12	12	11	4	2K	gzip (351B), xz (396B)
5	Done	106	42	41	33	13	16K	gzip (2K), xz (2K)
6	Done	1150	276	248	148	45	297K	gzip (33K), xz (25K)
7	Done	27292	3526	2687	906	238	11M	gzip (899K), xz (651K)
8	Done	1378453	102868	55506	8887	1790	868M	gzip (52M), xz (38M)
9	?	?	?	?	?	?	?	?

For example

$ curl -Ss https://ipfs.io/ipfs/QmQTT1VpGQLr5va86uy5xVCzPvFRuXDvH7taHfqfpQe6f6 | gunzip
g 3 4 4 1000010000100001
g 3 8 6 100011010011101010100101011010010101101100011100
g 3 5 5 1000001001001010101000110
g 3 5 6 100001010011001010010100101100
g 3 6 8 100001110100101100101101110100100111100010110100

and

$ curl -Ss https://ipfs.io/ipfs/QmPPK5rd5XcPQuMsEEvTdpb6DQcVg9GiquWCwTC4ryPeaj | unxz
g 3 4 4 1000010000100001
g 3 8 6 100011010011101010100101011010010101101100011100
g 3 5 5 1000001001001010101000110
g 3 5 6 100001010011001010010100101100
g 3 6 8 100001110100101100101101110100100111100010110100

each yield the five 3-dimensional 2-level polytopes.

Running the program

Setup

Install gcc or clang

For compiling.

Installing nauty

For characteristic vector computation. Nauty is available here. Download the latest version, compile it and create a symlink from ~/.opt/nauty.

Clone the repository

$ git clone git@github.com:ulb/tl

Compiling

Jump inside the tl directory

$ cd tl

For clang

$ make

For gcc

$ make CXX=g++

Running

Create directories to store all generated polytopes

$ mkdir -p db/src

Generate all 0-dimensional 2-level polytopes (a single vertex)

$ echo 'g 0 1 1 1' > db/src/0

Generate all 1-dimensional 2-level polytopes

$ cat db/src/0 | ./run/inflate | ./run/dedup | ./run/sift db/src/0 > db/src/1

Generate all 2-dimensional 2-level polytopes

$ cat db/src/1 | ./run/inflate | ./run/dedup | ./run/sift db/src/1 > db/src/2

Et cetera. A script does all that for you:

$ sh enum.sh 6
1
2
5
19
106
1150

Counting subclasses

Polar

$ ./run/count_polar < db/src/6 2>/dev/null
276

Simplicial

$ ./run/count_has_simplicial < db/src/6 2>/dev/null
248

Stab

$ ./run/count_stab < db/src/6 2>/dev/null
148

CS

$ ./run/count_cs < db/src/6 2>/dev/null
45