-- -*- M2-comint -*- {* hash: -2061829102 *} i1 : C = posOrthant 4 o1 = {ambient dimension => 4 } dimension of lineality space => 0 dimension of the cone => 4 number of facets => 4 number of rays => 4 o1 : Cone i2 : faceLattice(1,C) o2 = {{1, 2, 3}, {0, 2, 3}, {0, 1, 3}, {0, 1, 2}} o2 : List i3 : R = rays C o3 = | 1 0 0 0 | | 0 1 0 0 | | 0 0 1 0 | | 0 0 0 1 | 4 4 o3 : Matrix QQ <--- QQ i4 : faceLattice C o4 = {{{}}, {{0}, {1}, {2}, {3}}, {{2, 3}, {1, 3}, {1, 2}, {0, 3}, {0, 2}, ------------------------------------------------------------------------ {0, 1}}, {{1, 2, 3}, {0, 2, 3}, {0, 1, 3}, {0, 1, 2}}, {{0, 1, 2, 3}}} o4 : List i5 :