-- -*- M2-comint -*- {* hash: -841795848 *} i1 : P = cyclicPolytope(3,5) o1 = {ambient dimension => 3 } dimension of lineality space => 0 dimension of polyhedron => 3 number of facets => 6 number of rays => 0 number of vertices => 5 o1 : Polyhedron i2 : L = faces(2,P) o2 = {{ambient dimension => 3 }, {ambient dimension => 3 dimension of lineality space => 0 dimension of lineality space => dimension of polyhedron => 1 dimension of polyhedron => 1 number of facets => 2 number of facets => 2 number of rays => 0 number of rays => 0 number of vertices => 2 number of vertices => 2 ------------------------------------------------------------------------ }, {ambient dimension => 3 }, {ambient dimension => 3 0 dimension of lineality space => 0 dimension of lineality space dimension of polyhedron => 1 dimension of polyhedron => 1 number of facets => 2 number of facets => 2 number of rays => 0 number of rays => 0 number of vertices => 2 number of vertices => 2 ------------------------------------------------------------------------ }, {ambient dimension => 3 }, => 0 dimension of lineality space => 0 dimension of polyhedron => 1 number of facets => 2 number of rays => 0 number of vertices => 2 ------------------------------------------------------------------------ {ambient dimension => 3 }, {ambient dimension => 3 dimension of lineality space => 0 dimension of lineality space => dimension of polyhedron => 1 dimension of polyhedron => 1 number of facets => 2 number of facets => 2 number of rays => 0 number of rays => 0 number of vertices => 2 number of vertices => 2 ------------------------------------------------------------------------ }, {ambient dimension => 3 }, {ambient dimension => 3 0 dimension of lineality space => 0 dimension of lineality space dimension of polyhedron => 1 dimension of polyhedron => 1 number of facets => 2 number of facets => 2 number of rays => 0 number of rays => 0 number of vertices => 2 number of vertices => 2 ------------------------------------------------------------------------ }} => 0 o2 : List i3 : apply(L,vertices) o3 = {| 0 2 |, | 1 2 |, | 0 1 |, | 0 3 |, | 2 3 |, | 3 4 |, | 0 4 |, | 2 | 0 4 | | 1 4 | | 0 1 | | 0 9 | | 4 9 | | 9 16 | | 0 16 | | 4 | 0 8 | | 1 8 | | 0 1 | | 0 27 | | 8 27 | | 27 64 | | 0 64 | | 8 ------------------------------------------------------------------------ 4 |, | 1 4 |} 16 | | 1 16 | 64 | | 1 64 | o3 : List i4 :