_application polytope
_version 2.2
_type RationalPolytope

INEQUALITIES
0 1 0 0 0 0 0 
0 0 1 0 0 0 0 
0 0 0 1 0 0 0 
0 0 0 0 1 0 0 
0 0 0 0 0 1 0 
0 0 0 0 0 0 1 

EQUATIONS
-3 1 0 1 0 1 0 
-3 0 1 0 1 0 1 
-2 1 1 0 0 0 0 
-2 0 0 1 1 0 0 
-2 0 0 0 0 1 1 

VERTICES
1 2 0 0 2 1 1
1 2 0 1 1 0 2
1 1 1 2 0 0 2
1 1 1 0 2 2 0
1 0 2 2 0 1 1
1 0 2 1 1 2 0

POINTED
1

FEASIBLE
1

FAR_FACE
{}

VERTICES_IN_FACETS
{4 5}
{0 1}
{0 3}
{2 4}
{1 2}
{3 5}

FACETS
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 1 0 0 0
0 0 0 0 1 0 0
0 0 0 0 0 1 0
0 0 0 0 0 0 1

AFFINE_HULL
-3 1 0 1 0 1 0
-3 0 1 0 1 0 1
-2 1 1 0 0 0 0
-2 0 0 1 1 0 0

N_VERTICES
6

AMBIENT_DIM
6

DIM
2

SIMPLE
1

GRAPH
{1 3}
{0 2}
{1 4}
{0 5}
{2 5}
{3 4}

DIAMETER
3

N_FACETS
6

HASSE_DIAGRAM
1 7 13
<({} {1 2 3 4 5 6})
({0} {8 9})
({1} {8 11})
({2} {10 11})
({3} {9 12})
({4} {7 10})
({5} {7 12})
({4 5} {13})
({0 1} {13})
({0 3} {13})
({2 4} {13})
({1 2} {13})
({3 5} {13})
({0 1 2 3 4 5} {})
>