-- -*- M2-comint -*- {* hash: 402842564 *} i1 : R=QQ[x_0..x_5] o1 = R o1 : PolynomialRing i2 : C=fullCyclicPolytope(3,R) o2 = 3: x x x x x x 0 1 2 3 4 5 o2 : complex of dim 3 embedded in dim 3 (printing facets) equidimensional, non-simplicial, F-vector {1, 6, 12, 8, 1}, Euler = 0 i3 : facets C o3 = {{}, {}, {}, {}, {x x x x x x }} 0 1 2 3 4 5 o3 : List i4 : dC=boundaryOfPolytope(C); i5 : facets dC o5 = {{}, {}, {}, {x x x , x x x , x x x , x x x , x x x , x x x , x x x , 0 1 2 0 2 3 0 3 4 0 1 5 1 2 5 2 3 5 0 4 5 ------------------------------------------------------------------------ x x x }, {}} 3 4 5 o5 : List i6 :