#################################################################################### #################################################################################### #################################################################################### ### ### ### ### ### LIBRARY OF TRIANGULATIONS ### ### by Bruno Benedetti and Frank H. Lutz ### ### http://page.math.tu-berlin.de/~lutz/stellar/library_of_triangulations.html ### ### ### ### name of example: ### ### ### ### two_optima ### ### ### ### ### ### description: ### ### ### ### 3-dimensional complex with two distinct optimal discrete Morse vectors ### ### ### ### ### ### properties: ### ### ### ### f=(106,596,1064,573), ### ### H_*=(Z,0,0,0), ### ### contractible, but not collapsible, ### ### two distinct optimal discrete Morse vectors: (1,1,1,0) and (1,0,1,1), ### ### not perfect ### ### ### ### ### ### references: ### ### ### ### Karim A. Adiprasito, Bruno Benedetti, and Frank H. Lutz. ### ### Extremal examples of collapsible complexes ### ### and random discrete Morse theory. ### ### arXiv:1404.4239, 20 pages, 2014. ### ### ### ### ### #################################################################################### #################################################################################### #################################################################################### facets:=[ [ 1, 2, 3, 21 ], [ 1, 2, 4, 14 ], [ 1, 2, 4, 15 ], [ 1, 2, 4, 16 ], [ 1, 2, 4, 17 ], [ 1, 2, 4, 18 ], [ 1, 2, 4, 19 ], [ 1, 2, 4, 20 ], [ 1, 2, 4, 52 ], [ 1, 2, 5, 7 ], [ 1, 2, 5, 8 ], [ 1, 2, 5, 9 ], [ 1, 2, 5, 10 ], [ 1, 2, 5, 11 ], [ 1, 2, 5, 12 ], [ 1, 2, 5, 13 ], [ 1, 2, 5, 34 ], [ 1, 2, 6, 7 ], [ 1, 2, 6, 8 ], [ 1, 2, 6, 9 ], [ 1, 2, 6, 10 ], [ 1, 2, 6, 11 ], [ 1, 2, 6, 12 ], [ 1, 2, 6, 13 ], [ 1, 2, 6, 43 ], [ 1, 2, 14, 21 ], [ 1, 2, 15, 16 ], [ 1, 2, 17, 20 ], [ 1, 2, 18, 19 ], [ 1, 2, 26, 27 ], [ 1, 2, 26, 28 ], [ 1, 2, 26, 29 ], [ 1, 2, 26, 30 ], [ 1, 2, 26, 31 ], [ 1, 2, 26, 32 ], [ 1, 2, 26, 33 ], [ 1, 2, 27, 34 ], [ 1, 2, 28, 29 ], [ 1, 2, 30, 33 ], [ 1, 2, 31, 32 ], [ 1, 2, 35, 36 ], [ 1, 2, 35, 37 ], [ 1, 2, 35, 38 ], [ 1, 2, 35, 39 ], [ 1, 2, 35, 40 ], [ 1, 2, 35, 41 ], [ 1, 2, 35, 42 ], [ 1, 2, 36, 43 ], [ 1, 2, 37, 38 ], [ 1, 2, 39, 42 ], [ 1, 2, 40, 41 ], [ 1, 2, 44, 45 ], [ 1, 2, 44, 46 ], [ 1, 2, 44, 47 ], [ 1, 2, 44, 48 ], [ 1, 2, 44, 49 ], [ 1, 2, 44, 50 ], [ 1, 2, 44, 51 ], [ 1, 2, 45, 52 ], [ 1, 2, 46, 47 ], [ 1, 2, 48, 51 ], [ 1, 2, 49, 50 ], [ 1, 3, 5, 7 ], [ 1, 3, 5, 8 ], [ 1, 3, 5, 9 ], [ 1, 3, 5, 10 ], [ 1, 3, 5, 11 ], [ 1, 3, 5, 12 ], [ 1, 3, 5, 13 ], [ 1, 3, 5, 61 ], [ 1, 3, 7, 14 ], [ 1, 3, 8, 15 ], [ 1, 3, 9, 16 ], [ 1, 3, 10, 17 ], [ 1, 3, 11, 18 ], [ 1, 3, 12, 19 ], [ 1, 3, 13, 20 ], [ 1, 3, 14, 19 ], [ 1, 3, 15, 20 ], [ 1, 3, 16, 17 ], [ 1, 3, 18, 21 ], [ 1, 3, 23 ], [ 1, 3, 53, 54 ], [ 1, 3, 53, 55 ], [ 1, 3, 53, 56 ], [ 1, 3, 53, 57 ], [ 1, 3, 53, 58 ], [ 1, 3, 53, 59 ], [ 1, 3, 53, 60 ], [ 1, 3, 54, 61 ], [ 1, 3, 55, 56 ], [ 1, 3, 57, 60 ], [ 1, 3, 58, 59 ], [ 1, 4, 6, 7 ], [ 1, 4, 6, 8 ], [ 1, 4, 6, 9 ], [ 1, 4, 6, 10 ], [ 1, 4, 6, 11 ], [ 1, 4, 6, 12 ], [ 1, 4, 6, 13 ], [ 1, 4, 6, 70 ], [ 1, 4, 7, 14 ], [ 1, 4, 8, 15 ], [ 1, 4, 9, 16 ], [ 1, 4, 10, 17 ], [ 1, 4, 11, 18 ], [ 1, 4, 12, 19 ], [ 1, 4, 13, 20 ], [ 1, 4, 44, 45 ], [ 1, 4, 44, 46 ], [ 1, 4, 44, 47 ], [ 1, 4, 44, 48 ], [ 1, 4, 44, 49 ], [ 1, 4, 44, 50 ], [ 1, 4, 44, 51 ], [ 1, 4, 46, 51 ], [ 1, 4, 47, 48 ], [ 1, 4, 49, 52 ], [ 1, 4, 50, 45 ], [ 1, 4, 62, 63 ], [ 1, 4, 62, 64 ], [ 1, 4, 62, 65 ], [ 1, 4, 62, 66 ], [ 1, 4, 62, 67 ], [ 1, 4, 62, 68 ], [ 1, 4, 62, 69 ], [ 1, 4, 63, 70 ], [ 1, 4, 64, 65 ], [ 1, 4, 66, 69 ], [ 1, 4, 67, 68 ], [ 1, 5, 26, 27 ], [ 1, 5, 26, 28 ], [ 1, 5, 26, 29 ], [ 1, 5, 26, 30 ], [ 1, 5, 26, 31 ], [ 1, 5, 26, 32 ], [ 1, 5, 26, 33 ], [ 1, 5, 28, 33 ], [ 1, 5, 29, 30 ], [ 1, 5, 31, 34 ], [ 1, 5, 32, 27 ], [ 1, 5, 53, 54 ], [ 1, 5, 53, 55 ], [ 1, 5, 53, 56 ], [ 1, 5, 53, 57 ], [ 1, 5, 53, 58 ], [ 1, 5, 53, 59 ], [ 1, 5, 53, 60 ], [ 1, 5, 55, 60 ], [ 1, 5, 56, 57 ], [ 1, 5, 58, 61 ], [ 1, 5, 59, 54 ], [ 1, 6, 35, 36 ], [ 1, 6, 35, 37 ], [ 1, 6, 35, 38 ], [ 1, 6, 35, 39 ], [ 1, 6, 35, 40 ], [ 1, 6, 35, 41 ], [ 1, 6, 35, 42 ], [ 1, 6, 37, 42 ], [ 1, 6, 38, 39 ], [ 1, 6, 40, 43 ], [ 1, 6, 41, 36 ], [ 1, 6, 62, 63 ], [ 1, 6, 62, 64 ], [ 1, 6, 62, 65 ], [ 1, 6, 62, 66 ], [ 1, 6, 62, 67 ], [ 1, 6, 62, 68 ], [ 1, 6, 62, 69 ], [ 1, 6, 64, 69 ], [ 1, 6, 65, 66 ], [ 1, 6, 67, 70 ], [ 1, 6, 68, 63 ], [ 1, 14, 19, 21 ], [ 1, 15, 16, 17 ], [ 1, 15, 17, 20 ], [ 1, 18, 19, 21 ], [ 1, 22, 23 ], [ 1, 22, 24 ], [ 1, 22, 25 ], [ 1, 24, 25 ], [ 1, 27, 32, 34 ], [ 1, 28, 29, 30 ], [ 1, 28, 30, 33 ], [ 1, 31, 32, 34 ], [ 1, 36, 41, 43 ], [ 1, 37, 38, 39 ], [ 1, 37, 39, 42 ], [ 1, 40, 41, 43 ], [ 1, 45, 50, 52 ], [ 1, 46, 47, 48 ], [ 1, 46, 48, 51 ], [ 1, 49, 50, 52 ], [ 1, 54, 59, 61 ], [ 1, 55, 56, 57 ], [ 1, 55, 57, 60 ], [ 1, 58, 59, 61 ], [ 1, 63, 68, 70 ], [ 1, 64, 65, 66 ], [ 1, 64, 66, 69 ], [ 1, 67, 68, 70 ], [ 2, 3, 4, 14 ], [ 2, 3, 4, 15 ], [ 2, 3, 4, 16 ], [ 2, 3, 4, 17 ], [ 2, 3, 4, 18 ], [ 2, 3, 4, 19 ], [ 2, 3, 4, 20 ], [ 2, 3, 4, 79 ], [ 2, 3, 14, 15 ], [ 2, 3, 16, 21 ], [ 2, 3, 17, 18 ], [ 2, 3, 19, 20 ], [ 2, 3, 25 ], [ 2, 3, 71, 72 ], [ 2, 3, 71, 73 ], [ 2, 3, 71, 74 ], [ 2, 3, 71, 75 ], [ 2, 3, 71, 76 ], [ 2, 3, 71, 77 ], [ 2, 3, 71, 78 ], [ 2, 3, 72, 79 ], [ 2, 3, 73, 74 ], [ 2, 3, 75, 78 ], [ 2, 3, 76, 77 ], [ 2, 4, 44, 45 ], [ 2, 4, 44, 46 ], [ 2, 4, 44, 47 ], [ 2, 4, 44, 48 ], [ 2, 4, 44, 49 ], [ 2, 4, 44, 50 ], [ 2, 4, 44, 51 ], [ 2, 4, 45, 46 ], [ 2, 4, 47, 52 ], [ 2, 4, 48, 49 ], [ 2, 4, 50, 51 ], [ 2, 4, 71, 72 ], [ 2, 4, 71, 73 ], [ 2, 4, 71, 74 ], [ 2, 4, 71, 75 ], [ 2, 4, 71, 76 ], [ 2, 4, 71, 77 ], [ 2, 4, 71, 78 ], [ 2, 4, 73, 78 ], [ 2, 4, 74, 75 ], [ 2, 4, 76, 79 ], [ 2, 4, 77, 72 ], [ 2, 5, 6, 7 ], [ 2, 5, 6, 8 ], [ 2, 5, 6, 9 ], [ 2, 5, 6, 10 ], [ 2, 5, 6, 11 ], [ 2, 5, 6, 12 ], [ 2, 5, 6, 13 ], [ 2, 5, 6, 88 ], [ 2, 5, 26, 27 ], [ 2, 5, 26, 28 ], [ 2, 5, 26, 29 ], [ 2, 5, 26, 30 ], [ 2, 5, 26, 31 ], [ 2, 5, 26, 32 ], [ 2, 5, 26, 33 ], [ 2, 5, 27, 28 ], [ 2, 5, 29, 34 ], [ 2, 5, 30, 31 ], [ 2, 5, 32, 33 ], [ 2, 5, 80, 81 ], [ 2, 5, 80, 82 ], [ 2, 5, 80, 83 ], [ 2, 5, 80, 84 ], [ 2, 5, 80, 85 ], [ 2, 5, 80, 86 ], [ 2, 5, 80, 87 ], [ 2, 5, 81, 88 ], [ 2, 5, 82, 83 ], [ 2, 5, 84, 87 ], [ 2, 5, 85, 86 ], [ 2, 6, 35, 36 ], [ 2, 6, 35, 37 ], [ 2, 6, 35, 38 ], [ 2, 6, 35, 39 ], [ 2, 6, 35, 40 ], [ 2, 6, 35, 41 ], [ 2, 6, 35, 42 ], [ 2, 6, 36, 37 ], [ 2, 6, 38, 43 ], [ 2, 6, 39, 40 ], [ 2, 6, 41, 42 ], [ 2, 6, 80, 81 ], [ 2, 6, 80, 82 ], [ 2, 6, 80, 83 ], [ 2, 6, 80, 84 ], [ 2, 6, 80, 85 ], [ 2, 6, 80, 86 ], [ 2, 6, 80, 87 ], [ 2, 6, 82, 87 ], [ 2, 6, 83, 84 ], [ 2, 6, 85, 88 ], [ 2, 6, 86, 81 ], [ 2, 14, 15, 21 ], [ 2, 15, 16, 21 ], [ 2, 17, 18, 19 ], [ 2, 17, 19, 20 ], [ 2, 22, 23 ], [ 2, 22, 24 ], [ 2, 22, 25 ], [ 2, 23, 24 ], [ 2, 27, 28, 34 ], [ 2, 28, 29, 34 ], [ 2, 30, 31, 32 ], [ 2, 30, 32, 33 ], [ 2, 36, 37, 43 ], [ 2, 37, 38, 43 ], [ 2, 39, 40, 41 ], [ 2, 39, 41, 42 ], [ 2, 45, 46, 52 ], [ 2, 46, 47, 52 ], [ 2, 48, 49, 50 ], [ 2, 48, 50, 51 ], [ 2, 72, 77, 79 ], [ 2, 73, 74, 75 ], [ 2, 73, 75, 78 ], [ 2, 76, 77, 79 ], [ 2, 81, 86, 88 ], [ 2, 82, 83, 84 ], [ 2, 82, 84, 87 ], [ 2, 85, 86, 88 ], [ 3, 4, 6, 7 ], [ 3, 4, 6, 8 ], [ 3, 4, 6, 9 ], [ 3, 4, 6, 10 ], [ 3, 4, 6, 11 ], [ 3, 4, 6, 12 ], [ 3, 4, 6, 13 ], [ 3, 4, 6, 97 ], [ 3, 4, 7, 14 ], [ 3, 4, 8, 15 ], [ 3, 4, 9, 16 ], [ 3, 4, 10, 17 ], [ 3, 4, 11, 18 ], [ 3, 4, 12, 19 ], [ 3, 4, 13, 20 ], [ 3, 4, 71, 72 ], [ 3, 4, 71, 73 ], [ 3, 4, 71, 74 ], [ 3, 4, 71, 75 ], [ 3, 4, 71, 76 ], [ 3, 4, 71, 77 ], [ 3, 4, 71, 78 ], [ 3, 4, 72, 73 ], [ 3, 4, 74, 79 ], [ 3, 4, 75, 76 ], [ 3, 4, 77, 78 ], [ 3, 4, 89, 90 ], [ 3, 4, 89, 91 ], [ 3, 4, 89, 92 ], [ 3, 4, 89, 93 ], [ 3, 4, 89, 94 ], [ 3, 4, 89, 95 ], [ 3, 4, 89, 96 ], [ 3, 4, 90, 97 ], [ 3, 4, 91, 92 ], [ 3, 4, 93, 96 ], [ 3, 4, 94, 95 ], [ 3, 5, 6, 7 ], [ 3, 5, 6, 8 ], [ 3, 5, 6, 9 ], [ 3, 5, 6, 10 ], [ 3, 5, 6, 11 ], [ 3, 5, 6, 12 ], [ 3, 5, 6, 13 ], [ 3, 5, 6, 106 ], [ 3, 5, 53, 54 ], [ 3, 5, 53, 55 ], [ 3, 5, 53, 56 ], [ 3, 5, 53, 57 ], [ 3, 5, 53, 58 ], [ 3, 5, 53, 59 ], [ 3, 5, 53, 60 ], [ 3, 5, 54, 55 ], [ 3, 5, 56, 61 ], [ 3, 5, 57, 58 ], [ 3, 5, 59, 60 ], [ 3, 5, 98, 99 ], [ 3, 5, 98, 100 ], [ 3, 5, 98, 101 ], [ 3, 5, 98, 102 ], [ 3, 5, 98, 103 ], [ 3, 5, 98, 104 ], [ 3, 5, 98, 105 ], [ 3, 5, 99, 106 ], [ 3, 5, 100, 101 ], [ 3, 5, 102, 105 ], [ 3, 5, 103, 104 ], [ 3, 6, 89, 90 ], [ 3, 6, 89, 91 ], [ 3, 6, 89, 92 ], [ 3, 6, 89, 93 ], [ 3, 6, 89, 94 ], [ 3, 6, 89, 95 ], [ 3, 6, 89, 96 ], [ 3, 6, 91, 96 ], [ 3, 6, 92, 93 ], [ 3, 6, 94, 97 ], [ 3, 6, 95, 90 ], [ 3, 6, 98, 99 ], [ 3, 6, 98, 100 ], [ 3, 6, 98, 101 ], [ 3, 6, 98, 102 ], [ 3, 6, 98, 103 ], [ 3, 6, 98, 104 ], [ 3, 6, 98, 105 ], [ 3, 6, 100, 105 ], [ 3, 6, 101, 102 ], [ 3, 6, 103, 106 ], [ 3, 6, 104, 99 ], [ 3, 14, 15, 19 ], [ 3, 15, 19, 20 ], [ 3, 16, 17, 21 ], [ 3, 17, 18, 21 ], [ 3, 23, 25 ], [ 3, 54, 55, 61 ], [ 3, 55, 56, 61 ], [ 3, 57, 58, 59 ], [ 3, 57, 59, 60 ], [ 3, 72, 73, 79 ], [ 3, 73, 74, 79 ], [ 3, 75, 76, 77 ], [ 3, 75, 77, 78 ], [ 3, 90, 95, 97 ], [ 3, 91, 92, 93 ], [ 3, 91, 93, 96 ], [ 3, 94, 95, 97 ], [ 3, 99, 104, 106 ], [ 3, 100, 101, 102 ], [ 3, 100, 102, 105 ], [ 3, 103, 104, 106 ], [ 4, 6, 62, 63 ], [ 4, 6, 62, 64 ], [ 4, 6, 62, 65 ], [ 4, 6, 62, 66 ], [ 4, 6, 62, 67 ], [ 4, 6, 62, 68 ], [ 4, 6, 62, 69 ], [ 4, 6, 63, 64 ], [ 4, 6, 65, 70 ], [ 4, 6, 66, 67 ], [ 4, 6, 68, 69 ], [ 4, 6, 89, 90 ], [ 4, 6, 89, 91 ], [ 4, 6, 89, 92 ], [ 4, 6, 89, 93 ], [ 4, 6, 89, 94 ], [ 4, 6, 89, 95 ], [ 4, 6, 89, 96 ], [ 4, 6, 90, 91 ], [ 4, 6, 92, 97 ], [ 4, 6, 93, 94 ], [ 4, 6, 95, 96 ], [ 4, 45, 46, 50 ], [ 4, 46, 50, 51 ], [ 4, 47, 48, 52 ], [ 4, 48, 49, 52 ], [ 4, 63, 64, 70 ], [ 4, 64, 65, 70 ], [ 4, 66, 67, 68 ], [ 4, 66, 68, 69 ], [ 4, 72, 73, 77 ], [ 4, 73, 77, 78 ], [ 4, 74, 75, 79 ], [ 4, 75, 76, 79 ], [ 4, 90, 91, 97 ], [ 4, 91, 92, 97 ], [ 4, 93, 94, 95 ], [ 4, 93, 95, 96 ], [ 5, 6, 80, 81 ], [ 5, 6, 80, 82 ], [ 5, 6, 80, 83 ], [ 5, 6, 80, 84 ], [ 5, 6, 80, 85 ], [ 5, 6, 80, 86 ], [ 5, 6, 80, 87 ], [ 5, 6, 81, 82 ], [ 5, 6, 83, 88 ], [ 5, 6, 84, 85 ], [ 5, 6, 86, 87 ], [ 5, 6, 98, 99 ], [ 5, 6, 98, 100 ], [ 5, 6, 98, 101 ], [ 5, 6, 98, 102 ], [ 5, 6, 98, 103 ], [ 5, 6, 98, 104 ], [ 5, 6, 98, 105 ], [ 5, 6, 99, 100 ], [ 5, 6, 101, 106 ], [ 5, 6, 102, 103 ], [ 5, 6, 104, 105 ], [ 5, 27, 28, 32 ], [ 5, 28, 32, 33 ], [ 5, 29, 30, 34 ], [ 5, 30, 31, 34 ], [ 5, 54, 55, 59 ], [ 5, 55, 59, 60 ], [ 5, 56, 57, 61 ], [ 5, 57, 58, 61 ], [ 5, 81, 82, 88 ], [ 5, 82, 83, 88 ], [ 5, 84, 85, 86 ], [ 5, 84, 86, 87 ], [ 5, 99, 100, 106 ], [ 5, 100, 101, 106 ], [ 5, 102, 103, 104 ], [ 5, 102, 104, 105 ], [ 6, 36, 37, 41 ], [ 6, 37, 41, 42 ], [ 6, 38, 39, 43 ], [ 6, 39, 40, 43 ], [ 6, 63, 64, 68 ], [ 6, 64, 68, 69 ], [ 6, 65, 66, 70 ], [ 6, 66, 67, 70 ], [ 6, 81, 82, 86 ], [ 6, 82, 86, 87 ], [ 6, 83, 84, 88 ], [ 6, 84, 85, 88 ], [ 6, 90, 91, 95 ], [ 6, 91, 95, 96 ], [ 6, 92, 93, 97 ], [ 6, 93, 94, 97 ], [ 6, 99, 100, 104 ], [ 6, 100, 104, 105 ], [ 6, 101, 102, 106 ], [ 6, 102, 103, 106 ], [ 14, 15, 19, 21 ], [ 15, 16, 17, 21 ], [ 15, 17, 19, 20 ], [ 15, 17, 19, 21 ], [ 17, 18, 19, 21 ], [ 23, 24, 25 ], [ 27, 28, 32, 34 ], [ 28, 29, 30, 34 ], [ 28, 30, 32, 33 ], [ 28, 30, 32, 34 ], [ 30, 31, 32, 34 ], [ 36, 37, 41, 43 ], [ 37, 38, 39, 43 ], [ 37, 39, 41, 42 ], [ 37, 39, 41, 43 ], [ 39, 40, 41, 43 ], [ 45, 46, 50, 52 ], [ 46, 47, 48, 52 ], [ 46, 48, 50, 51 ], [ 46, 48, 50, 52 ], [ 48, 49, 50, 52 ], [ 54, 55, 59, 61 ], [ 55, 56, 57, 61 ], [ 55, 57, 59, 60 ], [ 55, 57, 59, 61 ], [ 57, 58, 59, 61 ], [ 63, 64, 68, 70 ], [ 64, 65, 66, 70 ], [ 64, 66, 68, 69 ], [ 64, 66, 68, 70 ], [ 66, 67, 68, 70 ], [ 72, 73, 77, 79 ], [ 73, 74, 75, 79 ], [ 73, 75, 77, 78 ], [ 73, 75, 77, 79 ], [ 75, 76, 77, 79 ], [ 81, 82, 86, 88 ], [ 82, 83, 84, 88 ], [ 82, 84, 86, 87 ], [ 82, 84, 86, 88 ], [ 84, 85, 86, 88 ], [ 90, 91, 95, 97 ], [ 91, 92, 93, 97 ], [ 91, 93, 95, 96 ], [ 91, 93, 95, 97 ], [ 93, 94, 95, 97 ], [ 99, 100, 104, 106 ], [ 100, 101, 102, 106 ], [ 100, 102, 104, 105 ], [ 100, 102, 104, 106 ], [ 102, 103, 104, 106 ] ];