1 2------------------------------------------------------------ 3---------------------- TOPCOM ---------------------- 4Triangulations of Point Configurations and Oriented Matroids 5--------------------- by Joerg Rambau --------------------- 6------------------------------------------------------------ 7 8computing closure of symmetry generators ... 9143 symmetries so far. 10... done. 11143 symmetries in total. 12no valid seed triangulation found 13computing seed triangulation via placing and pushing ... 14Computing symmetries of seed ... 15... done. 161 symmetries in total. 17seed: {{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{2,3,5,6,8,9},{3,5,6,7,8,9},{2,3,6,8,9,10},{3,6,7,8,9,10},{3,7,8,9,10,11}} 18using the following 12 vertices: {0,1,2,3,4,5,6,7,8,9,10,11} 19... done. 20count all symmetry classes of triangulations ... 21T[1]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{2,3,5,6,8,9},{3,5,6,7,8,9},{2,3,6,8,9,10},{3,6,7,8,9,10},{3,7,8,9,10,11}}; 22T[2]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{3,6,7,8,9,10},{3,7,8,9,10,11},{3,4,5,6,7,9},{1,2,3,4,5,9},{1,2,3,4,8,9},{2,3,4,5,6,9},{2,3,4,6,8,9},{3,4,6,7,8,9}}; 23T[3]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{3,7,8,9,10,11},{3,5,6,7,8,10},{3,5,7,8,9,10},{2,3,5,8,9,10},{2,3,5,6,8,10}}; 24T[4]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{2,3,5,6,8,9},{3,5,6,7,8,9},{2,3,6,8,9,10},{3,6,8,9,10,11},{3,6,7,8,9,11}}; 253 new symmetry classes. 26T[5]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{3,4,5,6,7,9},{1,2,3,4,5,9},{1,2,3,4,8,9},{2,3,4,5,6,9},{2,3,4,6,8,9},{3,4,6,7,8,9},{3,6,8,9,10,11},{3,6,7,8,9,11}}; 27T[6]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{2,3,5,6,8,9},{2,3,6,8,9,10},{3,6,8,9,10,11},{3,5,6,7,8,11},{3,5,6,8,9,11}}; 28T[7]:={{0,1,2,3,4,8},{3,4,5,6,7,8},{3,5,6,7,8,9},{2,3,6,8,9,10},{1,2,3,4,6,8},{1,3,4,5,6,8},{3,6,8,9,10,11},{3,6,7,8,9,11},{1,2,3,6,8,9},{1,3,5,6,8,9}}; 29T[8]:={{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{2,3,5,6,8,9},{3,5,6,7,8,9},{2,3,6,8,9,10},{0,2,3,4,5,8},{3,6,8,9,10,11},{3,6,7,8,9,11},{0,1,2,3,5,8}}; 30T[9]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{3,4,7,8,9,10},{3,4,6,7,9,10},{3,4,5,6,7,9},{1,2,3,4,5,9},{1,2,3,4,8,9},{2,3,4,5,6,9},{2,3,4,8,9,10},{2,3,4,6,9,10}}; 31T[10]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{2,6,7,8,9,10},{2,3,7,8,9,10},{1,2,3,4,5,9},{1,2,3,4,8,9},{2,4,5,6,7,9},{2,3,4,5,7,9},{2,3,4,7,8,9},{2,4,6,7,8,9}}; 32T[11]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{3,6,7,8,9,10},{3,7,8,9,10,11},{3,4,5,6,7,9},{1,2,3,4,8,9},{2,3,4,6,8,9},{3,4,6,7,8,9},{1,3,4,5,6,9},{1,2,3,4,6,9}}; 33T[12]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{1,2,3,5,8,9},{3,7,8,9,10,11},{3,5,7,8,9,10},{3,4,5,6,7,10},{2,3,4,5,6,10},{2,3,4,5,8,10},{2,3,5,8,9,10},{3,4,5,7,8,10}}; 34T[13]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{3,5,7,8,10,11},{3,5,6,7,8,10},{3,5,8,9,10,11},{2,3,5,8,9,10},{2,3,5,6,8,10}}; 35T[14]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{1,2,3,5,8,9},{3,7,8,9,10,11},{3,5,7,8,9,10},{2,4,5,6,7,8},{2,3,4,5,7,8},{2,3,5,8,9,10},{2,5,6,7,8,10},{2,3,5,7,8,10}}; 3610 new symmetry classes. 37T[15]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{1,2,3,5,8,9},{3,5,7,8,10,11},{3,4,5,6,7,10},{3,5,8,9,10,11},{2,3,4,5,6,10},{2,3,4,5,8,10},{2,3,5,8,9,10},{3,4,5,7,8,10}}; 38T[16]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{3,5,8,9,10,11},{3,5,6,8,10,11},{2,3,5,8,9,10},{3,5,6,7,8,11},{2,3,5,6,8,10}}; 39T[17]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{1,2,3,5,8,9},{3,5,7,8,10,11},{3,5,8,9,10,11},{2,4,5,6,7,8},{2,3,4,5,7,8},{2,3,5,8,9,10},{2,5,6,7,8,10},{2,3,5,7,8,10}}; 40T[18]:={{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{3,5,7,8,10,11},{3,5,6,7,8,10},{0,2,3,4,5,8},{3,5,8,9,10,11},{2,3,5,8,9,10},{0,1,2,3,5,8},{2,3,5,6,8,10}}; 41T[19]:={{2,3,4,5,6,8},{3,4,5,6,7,8},{1,2,3,5,8,9},{2,3,5,6,8,9},{2,3,6,8,9,10},{0,2,3,4,5,8},{3,6,8,9,10,11},{3,5,6,7,8,11},{3,5,6,8,9,11},{0,1,2,3,5,8}}; 42T[20]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{3,4,7,8,9,10},{1,2,3,4,5,9},{1,2,3,4,8,9},{3,4,5,7,9,10},{3,4,5,6,7,10},{2,3,4,5,6,10},{2,3,4,5,9,10},{2,3,4,8,9,10}}; 43T[21]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{1,2,3,5,8,9},{3,7,8,9,10,11},{2,3,4,5,7,10},{2,4,5,6,7,10},{3,5,7,8,9,10},{2,3,4,5,8,10},{2,3,5,8,9,10},{3,4,5,7,8,10}}; 44T[22]:={{1,2,3,5,8,9},{3,7,8,9,10,11},{3,5,7,8,9,10},{3,4,5,6,7,10},{0,2,3,4,5,8},{2,3,4,5,6,10},{2,3,4,5,8,10},{2,3,5,8,9,10},{0,1,2,3,5,8},{3,4,5,7,8,10}}; 45T[23]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{2,3,7,8,9,10},{2,4,6,7,9,10},{1,2,3,4,5,9},{1,2,3,4,8,9},{2,4,5,6,7,9},{2,4,7,8,9,10},{2,3,4,5,7,9},{2,3,4,7,8,9}}; 46T[24]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{3,4,5,6,7,9},{3,4,6,7,8,9},{1,2,3,4,6,8},{3,6,8,9,10,11},{1,3,4,5,6,9},{1,3,4,6,8,9},{3,6,7,8,9,11},{1,2,3,6,8,9}}; 47T[25]:={{0,1,2,3,4,8},{3,4,5,6,7,8},{2,3,6,8,9,10},{1,2,3,4,6,8},{1,3,4,5,6,8},{3,6,8,9,10,11},{3,5,6,7,8,11},{3,5,6,8,9,11},{1,2,3,6,8,9},{1,3,5,6,8,9}}; 48T[26]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{3,4,5,6,7,9},{1,2,3,4,8,9},{2,3,4,6,8,9},{3,4,6,7,8,9},{3,6,8,9,10,11},{1,3,4,5,6,9},{3,6,7,8,9,11},{1,2,3,4,6,9}}; 49T[27]:={{0,1,2,3,4,8},{1,2,3,4,5,8},{1,2,3,5,8,9},{3,7,8,9,10,11},{2,4,5,6,7,10},{3,5,7,8,9,10},{2,4,5,7,8,10},{2,3,4,5,7,8},{2,3,5,8,9,10},{2,3,5,7,8,10}}; 50T[28]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{3,4,7,8,9,10},{3,4,6,7,9,10},{3,4,5,6,7,9},{1,2,3,4,8,9},{1,3,4,5,6,9},{2,3,4,8,9,10},{1,2,3,4,6,9},{2,3,4,6,9,10}}; 51T[29]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{3,6,7,8,9,10},{3,7,8,9,10,11},{1,4,5,6,7,9},{1,2,3,4,8,9},{2,3,4,6,8,9},{3,4,6,7,8,9},{1,3,4,6,7,9},{1,2,3,4,6,9}}; 52T[30]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{2,4,6,7,9,10},{2,3,4,7,9,10},{3,4,7,8,9,10},{1,2,3,4,5,9},{1,2,3,4,8,9},{2,4,5,6,7,9},{2,3,4,8,9,10},{2,3,4,5,7,9}}; 5316 new symmetry classes. 54T[31]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{1,4,5,6,7,9},{3,4,7,8,9,10},{3,4,6,7,9,10},{1,2,3,4,8,9},{2,3,4,8,9,10},{1,3,4,6,7,9},{1,2,3,4,6,9},{2,3,4,6,9,10}}; 55T[32]:={{0,1,2,3,4,8},{2,3,6,8,9,10},{1,4,5,6,7,9},{3,4,6,7,8,9},{1,2,3,4,6,8},{3,6,8,9,10,11},{1,3,4,6,8,9},{3,6,7,8,9,11},{1,3,4,6,7,9},{1,2,3,6,8,9}}; 56T[33]:={{2,3,6,8,9,10},{3,4,5,6,7,9},{3,4,6,7,8,9},{3,6,8,9,10,11},{1,3,4,5,6,9},{1,3,4,6,8,9},{0,1,3,4,6,8},{3,6,7,8,9,11},{0,1,2,3,6,8},{1,2,3,6,8,9}}; 57T[34]:={{3,4,5,6,7,8},{2,3,6,8,9,10},{1,3,4,5,6,8},{3,6,8,9,10,11},{0,1,3,4,6,8},{0,1,2,3,6,8},{3,5,6,7,8,11},{3,5,6,8,9,11},{1,2,3,6,8,9},{1,3,5,6,8,9}}; 58T[35]:={{0,1,2,3,4,8},{3,7,8,9,10,11},{1,2,3,4,7,9},{2,4,6,7,9,10},{2,3,4,7,9,10},{3,4,7,8,9,10},{1,2,3,4,8,9},{2,4,5,6,7,9},{1,2,4,5,7,9},{2,3,4,8,9,10}}; 595 new symmetry classes. 600 new symmetry classes. 6135 symmetry classes. 624488 triangulations in total. 6335 symmetry classes of triangulations in total. 64... done. 65