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

VERTICES
1 1 3 2 0 0 2
1 1 3 0 2 2 0
1 3 1 0 2 0 2
1 0 4 2 0 1 1
1 0 4 1 1 2 0

POINTED
1

FEASIBLE
1

FAR_FACE
{}

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

FACETS
0 1 0 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
-5 0 1 0 1 0 1
-4 1 1 0 0 0 0
-2 0 0 1 1 0 0

N_VERTICES
5

AMBIENT_DIM
6

DIM
2

SIMPLE
1

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

DIAMETER
2

N_FACETS
5

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