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

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

POINTED
1

FEASIBLE
1

FAR_FACE
{}

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

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

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

N_VERTICES
4

AMBIENT_DIM
6

DIM
2

SIMPLE
1

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

DIAMETER
2

N_FACETS
4

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