_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
-1 1 0 1 0 1 0 
-5 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 

AMBIENT_DIM
6

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

POINTED
1

FEASIBLE
1

FAR_FACE
{}

VERTICES_IN_FACETS
{1 2}
{0 2}
{0 1}

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

AFFINE_HULL
-1 1 0 1 0 1 0
-5 0 1 0 1 0 1
-2 1 1 0 0 0 0
-2 0 0 1 1 0 0

DIM
2

SIMPLE
1

N_VERTICES
3

N_FACETS
3

GRAPH
{1 2}
{0 2}
{0 1}

DIAMETER
1

HASSE_DIAGRAM
1 4 7
<({} {1 2 3})
({0} {5 6})
({1} {4 6})
({2} {4 5})
({1 2} {7})
({0 2} {7})
({0 1} {7})
({0 1 2} {})
>