-- -*- M2-comint -*- {* hash: -261316390 *} i1 : F = normalFan crossPolytope 3 o1 = {ambient dimension => 3 } number of generating cones => 6 number of rays => 8 top dimension of the cones => 3 o1 : Fan i2 : L = genCones F o2 = {{ambient dimension => 3 }, {ambient dimension => 3 dimension of lineality space => 0 dimension of lineality space => dimension of the cone => 3 dimension of the cone => 3 number of facets => 4 number of facets => 4 number of rays => 4 number of rays => 4 ------------------------------------------------------------------------ }, {ambient dimension => 3 }, {ambient dimension => 3 0 dimension of lineality space => 0 dimension of lineality space dimension of the cone => 3 dimension of the cone => 3 number of facets => 4 number of facets => 4 number of rays => 4 number of rays => 4 ------------------------------------------------------------------------ }, {ambient dimension => 3 }, => 0 dimension of lineality space => 0 dimension of the cone => 3 number of facets => 4 number of rays => 4 ------------------------------------------------------------------------ {ambient dimension => 3 }} dimension of lineality space => 0 dimension of the cone => 3 number of facets => 4 number of rays => 4 o2 : List i3 : apply(L,rays) o3 = {| -1 1 -1 1 |, | 1 1 1 1 |, | -1 1 -1 1 |, | -1 1 -1 1 |, | -1 | -1 -1 1 1 | | -1 1 -1 1 | | 1 1 1 1 | | -1 -1 1 1 | | -1 | -1 -1 -1 -1 | | -1 -1 1 1 | | -1 -1 1 1 | | 1 1 1 1 | | -1 ------------------------------------------------------------------------ -1 -1 -1 |, | -1 1 -1 1 |} 1 -1 1 | | -1 -1 -1 -1 | -1 1 1 | | -1 -1 1 1 | o3 : List i4 :