In the examples below, the calls to kreuzerSkarke will be handled without accessing the web interface. If we had asked for kreuzerSkarke(11, 24, Limit => 1000) then since only 100 are available locally, the local data could not be used.
i1 : availableOffline()
o1 = HashTable{kreuzerSkarke(1) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks1-n5.txt }
kreuzerSkarke(2) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks2-n36.txt
kreuzerSkarke(3) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks3-n244.txt
kreuzerSkarke(5, Limit => 50) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks5-n50.txt
kreuzerSkarke(5,53) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks5+53-n204.txt
kreuzerSkarke(9,21) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks9+21-n10.txt
kreuzerSkarke(11,24) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks11+24-n200.txt
kreuzerSkarke(21, Limit => 100) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks21-n100.txt
kreuzerSkarke(300) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks300-n20.txt
kreuzerSkarke(491) => /usr/share/Macaulay2/ReflexivePolytopesDB/ks491-n1.txt
o1 : HashTable
|
i2 : kreuzerSkarke 491
using offline data file: ks491-n1.txt
o2 = {4 5 M:26 5 N:680 5 H:491,11 [960] id:0}
1 0 0 0 -42
0 1 0 0 -28
0 0 1 0 -12
0 0 0 1 -1
o2 : List
|
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 N:16 10 H:11,24 [-26] id:1 , 4 15 M:30 15
1 0 0 0 -3 0 3 -3 1 1 -2 -1 2 -1 1 0 0 0 0 2 2 0 0 2 -3 -3 1 0 0
0 1 0 0 0 1 -1 -1 1 1 1 1 1 1 0 1 0 0 -1 0 0 2 -2 -1 -2 -3 0 1 0
0 0 1 0 1 0 -1 1 -1 -1 0 -1 -2 0 0 0 1 0 1 -1 -2 -3 1 -1 3 4 0 0 1
0 0 0 1 3 1 -2 2 0 -2 2 0 -2 2 0 0 0 1 1 -1 -1 -1 -1 -1 0 0 0 0 0
----------------------------------------------------------------------------------------------------------------------------
N:16 11 H:11,24 [-26] id:2 , 4 15 M:30 15 N:16 11 H:11,24 [-26] id:3 , 4 15 M:28 15
0 0 2 -1 -2 0 -1 -2 -2 1 -2 0 1 0 0 0 2 0 0 0 -1 0 -1 -2 -2 -3 -2 1 0 0
-1 0 2 -1 -1 -1 -1 -1 -1 -1 -1 -1 0 1 0 -1 -2 0 -1 1 0 2 1 1 1 2 3 0 1 0
0 0 1 -1 -1 -1 -2 0 -2 0 0 2 0 0 1 0 1 0 1 -1 0 -1 -2 0 -2 -1 0 0 0 1
0 1 0 1 1 0 0 0 0 -1 -1 -2 0 0 0 0 0 1 1 0 1 -1 0 0 0 -1 -2 0 0 0
----------------------------------------------------------------------------------------------------------------------------
N:16 11 H:11,24 [-26] id:4 , 4 15 M:30 15 N:16 11 H:11,24 [-26] id:5 , 4 15 M:29 15
0 0 0 -1 -1 -1 -1 -1 2 0 -1 -1 1 0 0 1 0 1 1 1 0 1 1 0 -2 0 -1 1 0 0
0 0 1 3 2 2 1 1 -2 -2 0 0 0 1 0 1 0 1 0 -1 1 0 -1 -2 0 -2 -1 0 1 0
0 -1 1 2 1 2 1 0 -2 0 -1 1 0 0 1 1 -1 0 -1 -1 2 -1 -1 -1 -1 -1 -1 0 0 1
1 0 1 1 0 0 -1 0 -1 -1 1 -1 0 0 0 2 -1 1 0 -1 2 1 0 -1 -2 -2 0 0 0 0
----------------------------------------------------------------------------------------------------------------------------
N:16 11 H:11,24 [-26] id:6 , 4 15 M:30 15 N:16 11 H:11,24 [-26] id:7 , 4 16 M:30 16
0 1 1 -1 1 2 0 -2 1 2 0 -1 1 0 0 1 0 1 0 -1 -1 -1 -2 0 1 0 -2 1 0 0
0 0 -1 1 0 -1 0 1 -2 -2 0 -1 0 1 0 1 -1 1 -1 -2 -1 -2 -2 1 0 -1 -1 0 1 0
0 -1 0 0 0 -1 1 2 -1 -2 -2 0 0 0 1 1 0 1 0 -1 0 -2 -2 2 0 -2 -2 0 0 1
1 -1 -1 1 -1 -1 -1 2 -1 -1 -1 -1 0 0 0 2 0 0 -1 -2 -1 -2 -3 2 2 0 -2 0 0 0
----------------------------------------------------------------------------------------------------------------------------
N:16 11 H:11,24 [-26] id:8 , 4 14 M:29 14 N:15 11 H:11,24 [-26] id:9 }
0 0 2 -1 3 0 1 2 0 3 2 -3 -3 1 0 0 -1 0 0 -1 -1 -1 -1 1 -1 -1 -1
0 -1 2 1 2 -1 0 3 2 3 1 -3 -4 0 1 0 0 0 -3 -1 -2 -3 -1 4 0 -2 1
0 1 -1 0 -2 0 0 -2 -1 -3 -2 2 2 0 0 1 0 0 3 1 2 2 0 -2 -2 0 -2
1 0 -2 0 -2 1 -1 -2 -1 -2 -1 2 2 0 0 0 0 1 1 1 1 1 1 -2 0 0 -1
o3 : List
|
The object availableOffline is a function closure.