i1 : availableOffline()
o1 = HashTable{"kreuzerSkarke(1)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks1-n5.txt }
"kreuzerSkarke(2)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks2-n36.txt
"kreuzerSkarke(3)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks3-n244.txt
"kreuzerSkarke(5, Limit => 50)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks5-n50.txt
"kreuzerSkarke(5,53)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks5+53-n204.txt
"kreuzerSkarke(9,21)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks9+21-n10.txt
"kreuzerSkarke(11,24)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks11+24-n200.txt
"kreuzerSkarke(21, Limit => 100)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks21-n100.txt
"kreuzerSkarke(300)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks300-n20.txt
"kreuzerSkarke(491)" => /usr/local/share/Macaulay2/ReflexivePolytopesDB/ks491-n1.txt
o1 : HashTable
|
i3 : kreuzerSkarke(11, 24, Limit => 10)
using offline data file: ks11+24-n200.txt
o3 = {4 14 M:29 14 N:15 10 H:11,24 [-26] id:0 , 4 12 M:30 12
1 0 0 0 -3 0 3 -3 1 1 -2 -1 2 -1 1 0 0
0 1 0 0 0 1 -1 -1 1 1 1 1 1 1 0 1 0
0 0 1 0 1 0 -1 1 -1 -1 0 -1 -2 0 0 0 1
0 0 0 1 3 1 -2 2 0 -2 2 0 -2 2 0 0 0
------------------------------------------------------------------------
N:16 10 H:11,24 [-26] id:1 , 4 15 M:30 15 N:16 11 H:11,24
0 0 2 2 0 0 2 -3 -3 1 0 0 0 0 2 -1
0 -1 0 0 2 -2 -1 -2 -3 0 1 0 -1 0 2 -1
0 1 -1 -2 -3 1 -1 3 4 0 0 1 0 0 1 -1
1 1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 0 1
------------------------------------------------------------------------
[-26] id:2 , 4 15 M:30 15 N:16 11 H:11,24 [-26] id:3
-2 0 -1 -2 -2 1 -2 0 1 0 0 0 2 0 0 0 -1 0
-1 -1 -1 -1 -1 -1 -1 -1 0 1 0 -1 -2 0 -1 1 0 2
-1 -1 -2 0 -2 0 0 2 0 0 1 0 1 0 1 -1 0 -1
1 0 0 0 0 -1 -1 -2 0 0 0 0 0 1 1 0 1 -1
------------------------------------------------------------------------
, 4 15 M:28 15 N:16 11 H:11,24 [-26] id:4
-1 -2 -2 -3 -2 1 0 0 0 0 0 -1 -1 -1 -1 -1 2 0
1 1 1 2 3 0 1 0 0 0 1 3 2 2 1 1 -2 -2
-2 0 -2 -1 0 0 0 1 0 -1 1 2 1 2 1 0 -2 0
0 0 0 -1 -2 0 0 0 1 0 1 1 0 0 -1 0 -1 -1
------------------------------------------------------------------------
, 4 15 M:30 15 N:16 11 H:11,24 [-26] id:5 , 4
-1 -1 1 0 0 1 0 1 1 1 0 1 1 0 -2 0 -1
0 0 0 1 0 1 0 1 0 -1 1 0 -1 -2 0 -2 -1
-1 1 0 0 1 1 -1 0 -1 -1 2 -1 -1 -1 -1 -1 -1
1 -1 0 0 0 2 -1 1 0 -1 2 1 0 -1 -2 -2 0
------------------------------------------------------------------------
15 M:29 15 N:16 11 H:11,24 [-26] id:6 , 4 15 M:30
1 0 0 0 1 1 -1 1 2 0 -2 1 2 0 -1 1 0
0 1 0 0 0 -1 1 0 -1 0 1 -2 -2 0 -1 0 1
0 0 1 0 -1 0 0 0 -1 1 2 -1 -2 -2 0 0 0
0 0 0 1 -1 -1 1 -1 -1 -1 2 -1 -1 -1 -1 0 0
------------------------------------------------------------------------
15 N:16 11 H:11,24 [-26] id:7 , 4 16 M:30 16 N:16 11
0 1 0 1 0 -1 -1 -1 -2 0 1 0 -2 1 0 0 0 0
0 1 -1 1 -1 -2 -1 -2 -2 1 0 -1 -1 0 1 0 0 -1
1 1 0 1 0 -1 0 -2 -2 2 0 -2 -2 0 0 1 0 1
0 2 0 0 -1 -2 -1 -2 -3 2 2 0 -2 0 0 0 1 0
------------------------------------------------------------------------
H:11,24 [-26] id:8 , 4 14 M:29 14 N:15 11
2 -1 3 0 1 2 0 3 2 -3 -3 1 0 0 -1 0
2 1 2 -1 0 3 2 3 1 -3 -4 0 1 0 0 0
-1 0 -2 0 0 -2 -1 -3 -2 2 2 0 0 1 0 0
-2 0 -2 1 -1 -2 -1 -2 -1 2 2 0 0 0 0 1
------------------------------------------------------------------------
H:11,24 [-26] id:9 }
0 -1 -1 -1 -1 1 -1 -1 -1
-3 -1 -2 -3 -1 4 0 -2 1
3 1 2 2 0 -2 -2 0 -2
1 1 1 1 1 -2 0 0 -1
o3 : List
|