_application polytope _version 2.1.0 _type RationalPolytope VERTICES 1 0 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 DIM 4 AMBIENT_DIM 4 FULL_DIM FACETS 1 0 0 0 -1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 -2 1 1 1 1 0 0 0 0 1 3 -1 -1 -1 -1 1 0 0 -1 0 1 0 -1 0 0 1 -1 0 0 0 AFFINE_HULL VERTICES_IN_FACETS {0 1 3 4 6 8} {1 4 7 8} {0 4 5 6} {0 1 2 3} {0 1 2 4 5 7} {2 5 7 9} {3 6 8 9} {0 2 3 5 6 9} {1 2 3 7 8 9} {4 5 6 7 8 9} HASSE_DIAGRAM 1 11 41 71 81 <({} {1 2 3 4 5 6 7 8 9 10}) ({0} {11 12 13 14 15 16}) ({1} {11 17 18 19 20 21}) ({2} {12 17 22 23 24 25}) ({3} {13 18 22 26 27 28}) ({4} {14 19 29 30 31 32}) ({5} {15 23 29 33 34 35}) ({6} {16 26 30 33 36 37}) ({7} {20 24 31 34 38 39}) ({8} {21 27 32 36 38 40}) ({9} {25 28 35 37 39 40}) ({0 1} {41 42 43}) ({0 2} {41 44 45}) ({0 3} {42 44 46}) ({0 4} {43 47 48}) ({0 5} {45 47 49}) ({0 6} {46 48 49}) ({1 2} {41 50 51}) ({1 3} {42 50 52}) ({1 4} {43 53 54}) ({1 7} {51 53 55}) ({1 8} {52 54 55}) ({2 3} {44 50 56}) ({2 5} {45 57 58}) ({2 7} {51 57 59}) ({2 9} {56 58 59}) ({3 6} {46 60 61}) ({3 8} {52 60 62}) ({3 9} {56 61 62}) ({4 5} {47 63 64}) ({4 6} {48 63 65}) ({4 7} {53 64 66}) ({4 8} {54 65 66}) ({5 6} {49 63 67}) ({5 7} {57 64 68}) ({5 9} {58 67 68}) ({6 8} {60 65 69}) ({6 9} {61 67 69}) ({7 8} {55 66 70}) ({7 9} {59 68 70}) ({8 9} {62 69 70}) ({0 1 2} {74 75}) ({0 1 3} {71 74}) ({0 1 4} {71 75}) ({0 2 3} {74 78}) ({0 2 5} {75 78}) ({0 3 6} {71 78}) ({0 4 5} {73 75}) ({0 4 6} {71 73}) ({0 5 6} {73 78}) ({1 2 3} {74 79}) ({1 2 7} {75 79}) ({1 3 8} {71 79}) ({1 4 7} {72 75}) ({1 4 8} {71 72}) ({1 7 8} {72 79}) ({2 3 9} {78 79}) ({2 5 7} {75 76}) ({2 5 9} {76 78}) ({2 7 9} {76 79}) ({3 6 8} {71 77}) ({3 6 9} {77 78}) ({3 8 9} {77 79}) ({4 5 6} {73 80}) ({4 5 7} {75 80}) ({4 6 8} {71 80}) ({4 7 8} {72 80}) ({5 6 9} {78 80}) ({5 7 9} {76 80}) ({6 8 9} {77 80}) ({7 8 9} {79 80}) ({0 1 3 4 6 8} {81}) ({1 4 7 8} {81}) ({0 4 5 6} {81}) ({0 1 2 3} {81}) ({0 1 2 4 5 7} {81}) ({2 5 7 9} {81}) ({3 6 8 9} {81}) ({0 2 3 5 6 9} {81}) ({1 2 3 7 8 9} {81}) ({4 5 6 7 8 9} {81}) ({0 1 2 3 4 5 6 7 8 9} {}) > F_VECTOR 10 30 30 10 F2_VECTOR 10 60 90 50 60 30 90 90 90 90 30 60 50 90 60 10 GRAPH {1 2 3 4 5 6} {0 2 3 4 7 8} {0 1 3 5 7 9} {0 1 2 6 8 9} {0 1 5 6 7 8} {0 2 4 6 7 9} {0 3 4 5 8 9} {1 2 4 5 8 9} {1 3 4 6 7 9} {2 3 5 6 7 8} VERTEX_DEGREES 6 6 6 6 6 6 6 6 6 6 DUAL_GRAPH {1 2 3 4 6 7 8 9} {0 4 8 9} {0 4 7 9} {0 4 7 8} {0 1 2 3 5 7 8 9} {4 7 8 9} {0 7 8 9} {0 2 3 4 5 6 8 9} {0 1 3 4 5 6 7 9} {0 1 2 4 5 6 7 8} FACET_DEGREES 8 4 4 4 8 4 4 8 8 8 N_VERTICES 10 N_FACETS 10 SIMPLICIAL 0 NEIGHBORLY 0 SIMPLICIALITY 2 NEIGHBORLINESS 1 SIMPLE 0 BALANCED 0 SIMPLICITY 2 BALANCE 1 VERTEX_SIZES 5 5 5 5 5 5 5 5 5 5 FACET_SIZES 6 4 4 4 6 4 4 6 6 6 BOUNDED 1 VERTEX_BARYCENTER 1 3/5 3/5 3/5 3/5