-
lat_lattices • Show schema
Hide schema
{'aut': 15360, 'base_label': '7.32.16.1', 'class_number': 1, 'comments': '', 'density': {'__RealLiteral__': 0, 'data': '0.0738244682864281432749436073025', 'prec': 110}, 'det': 32, 'dim': 7, 'genus_reps': [[[2, 1, -1, -1, -1, -1, 1], [1, 2, 0, -1, -1, -1, 1], [-1, 0, 2, 0, 1, 0, 0], [-1, -1, 0, 2, 1, 1, -1], [-1, -1, 1, 1, 2, 1, -1], [-1, -1, 0, 1, 1, 4, 0], [1, 1, 0, -1, -1, 0, 4]]], 'gram': [[2, 1, -1, 1, -1, -1, -1], [1, 2, -1, 1, 0, -1, 0], [-1, -1, 2, 0, 0, 1, 0], [1, 1, 0, 2, -1, 0, -1], [-1, 0, 0, -1, 2, 0, 1], [-1, -1, 1, 0, 0, 4, 1], [-1, 0, 0, -1, 1, 1, 4]], 'hermite': {'__RealLiteral__': 0, 'data': '1.21901365420447544091169100259', 'prec': 103}, 'index': 3, 'kissing': 40, 'label': '7.32.16.1.3', 'level': 16, 'minimum': 2, 'name': '', 'shortest': [[1, -1, 0, 0, 0, 0, 0], [1, -1, 0, 0, 1, 0, 0], [1, -1, 0, 1, 1, 0, 0], [1, 0, 0, -1, 0, 0, 0], [1, 0, 0, 0, 0, 0, 0], [1, 0, 0, 0, 1, 0, 0], [1, 0, 1, -1, 0, 0, 0], [1, 0, 1, 0, 0, 0, 0], [1, 0, 1, 0, 1, 0, 0], [1, 1, 1, -1, 0, 0, 0], [0, 1, 0, -1, -1, 0, 0], [0, 1, 0, -1, 0, 0, 0], [0, 1, 0, 0, 0, 0, 0], [0, 1, 1, -1, -1, 0, 0], [0, 1, 1, -1, 0, 0, 0], [0, 1, 1, 0, 0, 0, 0], [0, 0, 1, 0, 0, 0, 0], [0, 0, 0, 1, 0, 0, 0], [0, 0, 0, 1, 1, 0, 0], [0, 0, 0, 0, 1, 0, 0]], 'theta_series': [1, 0, 40, 0, 132, 0, 640, 0, 830, 0, 2400, 0, 2024, 0, 5120, 0, 4980, 0, 10120, 0, 6952, 0, 17280, 0, 13336, 0, 24160, 0, 17424, 0, 35840, 0, 26686, 0, 50880, 0, 31020, 0, 63360, 0, 49800, 0, 84160, 0, 49192, 0, 107520, 0, 76360, 0, 124040, 0, 82104, 0, 156160, 0, 106816, 0, 195360, 0, 111760, 0, 215040, 0, 160116, 0, 256960, 0, 149072, 0, 311040, 0, 209990, 0, 327520, 0, 208824, 0, 394240, 0, 262280, 0, 466560, 0, 257488, 0, 478080, 0, 360072, 0, 564000, 0, 315920, 0, 645120, 0, 427032, 0, 674280, 0, 415932, 0, 771840, 0, 501320, 0, 867360, 0, 493856, 0, 896000, 0, 657360, 0, 1001920, 0, 553960, 0, 1157760, 0, 747712, 0, 1170720, 0, 710688, 0, 1295360, 0, 854078, 0, 1457280, 0, 812768, 0, 1445760, 0, 1055760, 0, 1650560, 0, 896720, 0, 1827840, 0, 1170300, 0, 1803200, 0, 1117512, 0, 2016640]}