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.