i1 : F = fan {posHull matrix {{1,0},{0,1}},posHull matrix {{0,1},{1,1}},posHull matrix {{1,1},{0,1}},posHull matrix {{1,1},{0,1}},posHull matrix {{1,1},{0,1}}}
o1 = {ambient dimension => 2 }
number of generating cones => 5
number of rays => 5
top dimension of the cones => 2
o1 : Fan

i2 : P = polytope F
{({ambient dimension => 2 }, {1, 2, 3, 4, 5})}
dimension of lineality space => 0
dimension of the cone => 0
number of facets => 0
number of rays => 0
v: {{ambient dimension => 2 }, {ambient dimension => 2 }, {ambient dimension => 2 }, {ambient dimension => 2 }}
dimension of lineality space => 0 dimension of lineality space => 0 dimension of lineality space => 0 dimension of lineality space => 0
dimension of the cone => 2 dimension of the cone => 2 dimension of the cone => 2 dimension of the cone => 2
number of facets => 2 number of facets => 2 number of facets => 2 number of facets => 2
number of rays => 2 number of rays => 2 number of rays => 2 number of rays => 2
o2 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of polyhedron => 2
number of facets => 5
number of rays => 0
number of vertices => 5
o2 : Polyhedron
