E7 # enumeration of the cells that are positive # semi-definite in the reflection representation face={1,2,3,4,5,6,7} fvec=[0,0,0,0,0,0,0,0] [0,0] time=0.18 face={2,3,4,5,6,7} fvec=[0,0,0,0,0,0,0,1] [1,0] time=0.279 face={1,3,4,5,6,7} fvec=[0,0,0,0,0,0,0,2] [3,0] time=0.51 face={3,4,5,6,7} fvec=[0,0,0,0,0,0,3,1] [3,3] time=1.481 face={1,2,4,5,6,7} fvec=[0,0,0,0,0,0,0,1] [4,3] time=0.329 face={2,4,5,6,7} fvec=[0,0,0,0,0,0,3,1] [6,4] time=1.09 face={1,4,5,6,7} fvec=[0,0,0,0,0,0,0,0] [6,6] time=0.78 face={4,5,6,7} fvec=[0,0,0,0,0,3,2,0] [4,8] time=3.17 face={1,2,3,5,6,7} fvec=[0,0,0,0,0,0,0,1] [5,8] time=0.321 face={2,3,5,6,7} fvec=[0,0,0,0,0,0,0,1] [6,10] time=0.72 face={1,3,5,6,7} fvec=[0,0,0,0,0,0,1,0] [7,12] time=1. face={3,5,6,7} fvec=[0,0,0,0,0,1,1,0] [7,15] time=2.159 face={1,2,5,6,7} fvec=[0,0,0,0,0,0,0,0] [7,17] time=0.56 face={2,5,6,7} fvec=[0,0,0,0,0,2,1,0] [9,20] time=2.631 face={1,5,6,7} fvec=[0,0,0,0,0,0,0,0] [9,21] time=0.94 face={5,6,7} fvec=[0,0,0,0,3,3,0,0] [6,23] time=7.86 face={1,2,3,4,6,7} fvec=[0,0,0,0,0,0,0,2] [8,23] time=0.48 face={2,3,4,6,7} fvec=[0,0,0,0,0,0,2,3] [11,26] time=1.77 face={1,3,4,6,7} fvec=[0,0,0,0,0,0,1,0] [12,28] time=1.04 face={3,4,6,7} fvec=[0,0,0,0,0,3,5,1] [11,31] time=3.719 face={1,2,4,6,7} fvec=[0,0,0,0,0,0,1,0] [11,32] time=0.561 face={2,4,6,7} fvec=[0,0,0,0,0,3,4,0] [15,33] time=2.9 face={1,4,6,7} fvec=[0,0,0,0,0,0,0,0] [15,34] time=0.82 face={4,6,7} fvec=[0,0,0,0,2,5,1,0] [14,36] time=7.42 face={1,2,3,6,7} fvec=[0,0,0,0,0,0,0,0] [14,38] time=0.57 face={2,3,6,7} fvec=[0,0,0,0,0,0,2,0] [14,39] time=1.18 face={1,3,6,7} fvec=[0,0,0,0,0,1,0,0] [15,40] time=1.229 face={3,6,7} fvec=[0,0,0,0,2,2,0,0] [14,43] time=6.271 face={1,2,6,7} fvec=[0,0,0,0,0,0,0,0] [14,44] time=0.549 face={2,6,7} fvec=[0,0,0,0,2,2,0,0] [15,47] time=5.021 face={1,6,7} fvec=[0,0,0,0,0,0,0,0] [15,50] time=3.78 face={6,7} fvec=[0,0,0,4,7,1,0,0] [13,55] time=42.929 face={1,2,3,4,5,7} fvec=[0,0,0,0,0,0,0,1] [14,55] time=0.34 face={2,3,4,5,7} fvec=[0,0,0,0,0,0,1,2] [16,58] time=1.371 face={1,3,4,5,7} fvec=[0,0,0,0,0,0,1,1] [17,59] time=1.05 face={3,4,5,7} fvec=[0,0,0,0,0,1,7,3] [21,64] time=4.95 face={1,2,4,5,7} fvec=[0,0,0,0,0,0,1,3] [24,65] time=1.259 face={2,4,5,7} fvec=[0,0,0,0,0,4,9,2] [26,72] time=6.211 face={1,4,5,7} fvec=[0,0,0,0,0,1,2,0] [26,74] time=2.209 face={4,5,7} fvec=[0,0,0,0,4,13,6,0] [22,77] time=15.76 face={1,2,3,5,7} fvec=[0,0,0,0,0,0,0,1] [23,77] time=0.351 face={2,3,5,7} fvec=[0,0,0,0,0,0,1,3] [26,80] time=1.699 face={1,3,5,7} fvec=[0,0,0,0,0,1,0,0] [27,81] time=1.031 face={3,5,7} fvec=[0,0,0,0,1,5,10,2] [35,90] time=9.25 face={1,2,5,7} fvec=[0,0,0,0,0,0,2,1] [38,90] time=0.851 face={2,5,7} fvec=[0,0,0,0,0,9,12,1] [46,93] time=6.769 face={1,5,7} fvec=[0,0,0,0,1,2,1,1] [47,95] time=3.831 face={5,7} fvec=[0,0,0,4,21,21,5,1] [33,101] time=44. face={1,2,3,4,7} fvec=[0,0,0,0,0,0,1,0] [34,103] time=0.829 face={2,3,4,7} fvec=[0,0,0,0,0,2,6,1] [40,107] time=3.921 face={1,3,4,7} fvec=[0,0,0,0,0,0,1,0] [41,108] time=1.709 face={3,4,7} fvec=[0,0,0,0,4,17,12,2] [46,110] time=15.101 face={1,2,4,7} fvec=[0,0,0,0,0,1,2,0] [48,112] time=1.98 face={2,4,7} fvec=[0,0,0,0,4,13,6,0] [55,113] time=10.569 face={1,4,7} fvec=[0,0,0,0,0,1,1,2] [58,116] time=4.701 face={4,7} fvec=[0,0,0,8,34,37,17,4] [51,122] time=68.83 face={1,2,3,7} fvec=[0,0,0,0,0,1,2,0] [53,124] time=1.849 face={2,3,7} fvec=[0,0,0,0,0,4,7,1] [60,133] time=8.031 face={1,3,7} fvec=[0,0,0,0,0,1,0,0] [61,135] time=4.389 face={3,7} fvec=[0,0,0,4,22,27,8,1] [67,142] time=44.81 face={1,2,7} fvec=[0,0,0,0,1,3,1,1] [71,143] time=3.33 face={2,7} fvec=[0,0,0,6,22,21,4,1] [84,147] time=32.93 face={1,7} fvec=[0,0,0,0,3,7,8,1] [89,153] time=23.7 face={7} fvec=[0,0,21,84,113,71,23,1] [28,162] time=388.65 face={1,2,3,4,5,6} fvec=[0,0,0,0,0,0,0,1] [29,162] time=0.321 face={2,3,4,5,6} fvec=[0,0,0,0,0,0,2,1] [30,165] time=1.399 face={1,3,4,5,6} fvec=[0,0,0,0,0,0,2,1] [32,168] time=2.201 face={3,4,5,6} fvec=[0,0,0,0,0,5,5,1] [33,171] time=7.13 face={1,2,4,5,6} fvec=[0,0,0,0,0,0,0,0] [33,173] time=1.309 face={2,4,5,6} fvec=[0,0,0,0,0,3,2,0] [36,175] time=4.421 face={1,4,5,6} fvec=[0,0,0,0,0,0,1,1] [37,178] time=3.579 face={4,5,6} fvec=[0,0,0,0,10,18,11,2] [38,180] time=26.98 face={1,2,3,5,6} fvec=[0,0,0,0,0,0,1,3] [41,181] time=1.26 face={2,3,5,6} fvec=[0,0,0,0,0,0,5,4] [45,189] time=4.99 face={1,3,5,6} fvec=[0,0,0,0,0,2,2,0] [47,191] time=3.291 face={3,5,6} fvec=[0,0,0,0,4,11,8,1] [50,196] time=16.04 face={1,2,5,6} fvec=[0,0,0,0,0,0,0,0] [50,198] time=1.48 face={2,5,6} fvec=[0,0,0,0,2,3,3,0] [54,202] time=11.829 face={1,5,6} fvec=[0,0,0,0,0,0,0,0] [54,205] time=7.801 face={5,6} fvec=[0,0,0,10,25,22,6,0] [45,210] time=94.219 face={1,2,3,4,6} fvec=[0,0,0,0,0,0,1,0] [46,212] time=1.171 face={2,3,4,6} fvec=[0,0,0,0,0,3,4,2] [50,220] time=6.74 face={1,3,4,6} fvec=[0,0,0,0,0,1,1,0] [51,221] time=2.809 face={3,4,6} fvec=[0,0,0,0,3,8,6,2] [51,229] time=21.971 face={1,2,4,6} fvec=[0,0,0,0,0,0,1,2] [53,232] time=2.97 face={2,4,6} fvec=[0,0,0,0,3,8,8,1] [59,234] time=16.2 face={1,4,6} fvec=[0,0,0,0,0,2,3,2] [64,238] time=7.139 face={4,6} fvec=[0,0,0,7,28,37,22,5] [63,247] time=88.381 face={1,2,3,6} fvec=[0,0,0,0,0,0,1,0] [64,250] time=2.21 face={2,3,6} fvec=[0,0,0,0,0,7,12,2] [74,256] time=11.34 face={1,3,6} fvec=[0,0,0,0,2,2,0,0] [76,257] time=6.789 face={3,6} fvec=[0,0,0,6,18,21,9,1] [75,262] time=61.49 face={1,2,6} fvec=[0,0,0,0,0,1,2,1] [78,264] time=4.191 face={2,6} fvec=[0,0,0,3,10,15,6,1] [88,269] time=43.819 face={1,6} fvec=[0,0,0,2,5,7,7,1] [95,275] time=36.52 face={6} fvec=[0,0,21,75,106,73,21,1] [55,287] time=542.97 face={1,2,3,4,5} fvec=[0,0,0,0,0,0,1,0] [56,289] time=1.27 face={2,3,4,5} fvec=[0,0,0,0,0,4,6,1] [62,294] time=5.571 face={1,3,4,5} fvec=[0,0,0,0,0,2,2,0] [64,297] time=4.899 face={3,4,5} fvec=[0,0,0,0,8,18,9,1] [65,304] time=32.27 face={1,2,4,5} fvec=[0,0,0,0,0,0,2,1] [67,308] time=4.341 face={2,4,5} fvec=[0,0,0,0,6,12,6,1] [72,313] time=23.54 face={1,4,5} fvec=[0,0,0,0,0,2,3,1] [74,319] time=19.49 face={4,5} fvec=[0,0,0,19,62,70,34,6] [74,327] time=208.679 face={1,2,3,5} fvec=[0,0,0,0,0,0,2,1] [76,333] time=3.681 face={2,3,5} fvec=[0,0,0,0,0,7,15,5] [89,352] time=19.209 face={1,3,5} fvec=[0,0,0,0,0,0,0,0] [89,353] time=8.101 face={3,5} fvec=[0,0,0,4,23,42,22,2] [102,367] time=95.96 face={1,2,5} fvec=[0,0,0,0,0,4,6,1] [108,369] time=7.02 face={2,5} fvec=[0,0,0,2,18,36,19,1] [127,376] time=71.259 face={1,5} fvec=[0,0,0,0,3,5,3,1] [131,380] time=44.6 face={5} fvec=[0,0,27,124,200,136,35,2] [91,389] time=808. face={1,2,3,4} fvec=[0,0,0,0,0,1,0,0] [92,392] time=3.79 face={2,3,4} fvec=[0,0,0,0,7,14,8,1] [98,399] time=24.721 face={1,3,4} fvec=[0,0,0,0,2,2,0,0] [100,400] time=14.27 face={3,4} fvec=[0,0,0,15,47,50,21,3] [106,407] time=170.94 face={1,2,4} fvec=[0,0,0,0,0,3,3,0] [109,409] time=13.44 face={2,4} fvec=[0,0,0,14,44,43,12,0] [120,410] time=116.69 face={1,4} fvec=[0,0,0,0,4,9,9,3] [127,416] time=60.259 face={4} fvec=[0,0,40,178,300,238,85,9] [133,433] time=1080.091 face={1,2,3} fvec=[0,0,0,0,0,1,0,0] [134,435] time=10.149 face={2,3} fvec=[0,0,0,0,22,46,22,1] [155,444] time=78.611 face={1,3} fvec=[0,0,0,2,3,1,0,0] [157,445] time=52.939 face={3} fvec=[0,0,24,104,161,99,19,1] [168,452] time=715.86 face={1,2} fvec=[0,0,0,0,4,9,6,1] [172,455] time=35.111 face={2} fvec=[0,0,20,87,134,75,10,1] [201,460] time=488.819 face={1} fvec=[0,0,5,25,57,59,21,1] [213,468] time=402.25 face={} fvec=[46,337,991,1476,1149,433,63,1] [46,477] time=8602.811 # overall f-vector: [46, 337, 1149, 2263, 2716, 1959, 780, 133] # kill stats: [[2, 3], [4, 1438]] # representatives from the maximal psd cells # Format: fund.wt.coords co-dim J <1 =1 >1 [0, 0, 0, 0, 0, 0, 0] 0 {} {63} {} {} [0, 0, 7/16, 0, 0, 0, 0] 0 {} {61} {} {62} [0, 1/8, 0, 0, 1/8, 7/32, 0] 0 {} {58, 59} {} {60} [0, 11/32, 0, 0, 3/32, 0, 1/4] 0 {} {53, 59} {} {56} [0, 1/8, 0, 1/8, 3/32, 1/8, 1/8] 0 {} {53, 54, 55} {} {56, 57} [1/8, 11/32, 0, 0, 0, 1/8, 11/32] 0 {} {49, 53, 54} {} {52, 56} [1/8, 3/32, 1/8, 0, 1/8, 1/8, 7/32] 0 {} {47, 48, 49, 53} {} {51, 52} [1/16, 15/32, 1/16, 1/16, 1/16, 1/16, 1/16] 0 {} {46, 47, 48, 49} {} {50, 51, 52} [3/16, 15/32, 1/16, 1/16, 1/16, 1/16, 1/16] 0 {} {37, 38, 39, 49} {} {42, 43, 44} [27/64, 0, 11/64, 0, 11/64, 1/8, 11/64] 0 {} {37, 38, 49} {} {34, 42 , 43} [25/48, 1/8, 7/48, 0, 0, 13/48, 1/8] 0 {} {27, 37, 49} {} {33, 34} [1/2, 1/8, 3/16, 1/8, 0, 1/8, 1/8] 0 {} {26, 27, 49} {} {32, 33, 34} [1/2, 1/4, 3/8, 0, 0, 0, 1/4] 0 {} {27, 49} {} {20, 34} [3/4, 1/4, 1/8, 0, 1/4, 0, 0] 0 {} {14, 49} {} {20, 21} [1/2, 0, 3/4, 0, 0, 0, 0] 0 {} {1, 49} {} {8} [1/8, 3/16, 1/8, 1/8, 1/8, 1/8, 1/8] 0 {} {37, 38, 39, 40, 41} {} {42 , 43, 44, 45} [1/8, 0, 1/8, 0, 1/8, 9/16, 1/8] 0 {} {37, 38, 40, 41} {} {34, 42, 43 , 45} [1/4, 1/8, 7/32, 0, 1/8, 11/32, 1/8] 0 {} {27, 37, 40, 41} {} {33, 34 , 45} [3/8, 1/8, 3/16, 1/8, 1/8, 1/8, 1/8] 0 {} {26, 27, 40, 41} {} {32, 33 , 34, 45} [3/8, 1/4, 7/16, 0, 1/8, 0, 1/8] 0 {} {27, 40, 41} {} {20, 34, 45} [3/4, 1/4, 1/8, 0, 1/4, 0, 1/4] 0 {} {14, 40, 41} {} {20, 21, 45} [3/4, 0, 3/8, 0, 1/4, 0, 1/4] 0 {} {1, 40, 41} {} {8, 45} [1/8, 1/8, 1/8, 0, 1/8, 7/16, 1/4] 0 {} {30, 31, 37, 38, 40} {} {34, 36, 42, 43} [1/8, 1/8, 1/8, 0, 0, 11/16, 1/8] 0 {} {27, 30, 31, 37, 40} {} {33, 34, 36} [1/4, 1/4, 5/16, 1/8, 0, 1/8, 1/4] 0 {} {26, 27, 30, 31, 40} {} {32, 33, 34, 36} [1/4, 1/4, 5/8, 0, 0, 0, 1/4] 0 {} {27, 30, 31, 40} {} {20, 34, 36} [3/8, 1/8, 9/16, 0, 1/8, 0, 1/4] 0 {} {14, 30, 31, 40} {} {20, 21, 36 } [1/2, 1/4, 5/8, 0, 0, 0, 1/4] 0 {} {1, 30, 31, 40} {} {8, 36} [1/8, 1/8, 1/8, 1/8, 3/16, 3/8, 1/8] 0 {} {27, 29, 30, 31, 37} {} {33 , 34, 35, 36} [1/8, 1/8, 1/8, 1/8, 7/16, 1/8, 1/8] 0 {} {26, 27, 28, 29, 30, 31} {} {32, 33, 34, 35, 36} [1/4, 11/32, 11/32, 1/8, 0, 1/8, 11/32] 0 {} {27, 28, 29, 30, 31} {} {20, 34, 35, 36} [3/8, 1/8, 7/16, 1/8, 1/8, 1/8, 1/8] 0 {} {14, 28, 29, 30, 31} {} {20 , 21, 35, 36} [1/2, 1/8, 9/16, 1/8, 0, 1/8, 1/8] 0 {} {1, 28, 29, 30, 31} {} {8, 35 , 36} [3/8, 1/8, 7/16, 1/8, 1/8, 11/16, 1/8] 0 {} {14, 18, 19, 28} {} {20, 21, 23, 24, 25} [1/2, 1/8, 9/16, 1/8, 0, 13/16, 1/8] 0 {} {1, 18, 19, 28} {} {8, 23, 24, 25} [1/2, 1/4, 3/8, 0, 1/4, 5/8, 1/2] 0 {} {7, 14, 18, 28} {} {13, 20, 21 , 23, 24} [1/2, 1/4, 5/8, 0, 0, 7/8, 1/4] 0 {} {1, 7, 18, 28} {} {8, 13, 23, 24 } [1/2, 1/4, 3/8, 0, 1/4, 7/8, 1/4] 0 {} {6, 7, 14, 28} {} {12, 13, 20 , 21} [1/2, 0, 5/8, 0, 1/4, 7/8, 1/4] 0 {} {1, 6, 7, 28} {} {8, 12, 13} [1/4, 1/4, 1/4, 3/8, 1/4, 1/4, 3/8] 0 {} {14, 15, 16, 17, 18, 19} {} {20, 21, 22, 23, 24, 25} [3/4, 1/4, 3/8, 1/4, 1/4, 3/8, 1/4] 0 {} {1, 15, 16, 17, 18, 19} {} { 8, 22, 23, 24, 25} [1/4, 1/4, 1/4, 3/8, 1/4, 1/4, 7/8] 0 {} {7, 14, 15, 16, 17, 18} {} { 13, 20, 21, 22, 23, 24} [1/2, 1/4, 5/8, 0, 1/4, 5/8, 1/2] 0 {} {1, 7, 15, 16, 17, 18} {} {8, 13, 22, 23, 24} [1/4, 1/4, 1/4, 3/8, 1/4, 7/8, 1/4] 0 {} {6, 7, 14, 15, 16, 17} {} { 12, 13, 20, 21, 22} [1/2, 1/4, 5/8, 0, 1/4, 7/8, 1/4] 0 {} {1, 6, 7, 15, 16, 17} {} {8, 12, 13, 22} [1/2, 3/4, 3/4, 1/2, 3/4, 3/4, 1/2] 0 {} {1, 2, 3, 4, 5, 6, 7} {} {8 , 9, 10, 11, 12, 13}