we used the packages PALP , TOPCOM , Schubert , Instanton.m , Convex
all 473,800,776 reflexive polytopes in 4 dimensions
compressed data: 4 dimensions (complete) / 5 dimensions (incomplete)
reflexive Newton polytopes
for degree<=300 in 5d and degree<=200 in 6d.
| wget http://hep.itp.tuwien.ac.at/~kreuzer/CY/palp/palp-1.02.tar.gz |
| tar -xvzf palp-1.02.tar.gz |
| cd palp |
| make |
| mv *.x ~/bin . . . . . . . . . . . . . . . . . . . . . . . . . . . . # |
| class.x -h; cws.x -h; nef.x -h; polx.x -h; . . . . . . . . . # getting help |
| # 4.4 GB of data!!! . . . . . . . . . |
| wget http://quark.itp.tuwien.ac.at/~kreuzer/d4/zzdb.info |
| wget http://quark.itp.tuwien.ac.at/~kreuzer/d4/zzdb.v05 |
| ... |
| wget http://quark.itp.tuwien.ac.at/~kreuzer/d4/zzdb.v27 |
| class.x -b2a -di zzdb | class.x -f -sH ........................ # read polytopes from data base |
| class.x -sH .........................................................# M-lattice polytope from termial |
| echo "6 1 1 0 0 1 2 1 0 2 0 0 1 0 0 0 0 1 4 0 0 0 1 1 1 1 0" > data.in |
| cat data.in | poly.x -f11 . . . . . . . . . . . . . . . . . . . # all K3 fibrations |
| cat data.in | nef.x -N -F2 . . . . . . . . . . . . . . . . . . # fibrations up to codim=2 |
| wget http://hep.itp.tuwien.ac.at/~kreuzer/CY/hep-th/0410018/2/H.2.86.gz |
| gunzip H.2.86.gz . . . . . . . . . . . . . . . . . . . . . . . . . . . # fetch and uncompress H.2.86 |
| nef.x -N -Lv H.2.86 . . . . . . . . . . # codim=2 partitions, linear relations and Hodge data |