availableOffline -- which Kreuzer-Skarke items are available offline

Synopsis

Usage:

availableOffline()
Outputs:
- a hash table, the keys are the h11 and h12 entries which are available, and the value is either a string containing the file name, or a pair containing the number downloaded, and the file name.

Description

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
         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

For the programmer

The object availableOffline is a function closure.

availableOffline -- which Kreuzer-Skarke items are available offline

Synopsis

Description

See also

For the programmer