-- -*- M2-comint -*- {* hash: -761053372 *}

i1 : C = posHull matrix {{1,0,0},{0,1,1},{0,0,1}};

i2 : F = fan C

o2 = {ambient dimension => 3         }
      number of generating cones => 1
      number of rays => 3
      top dimension of the cones => 3

o2 : Fan

i3 : C = posHull matrix {{-1,0,0},{0,1,0},{0,0,1}};

i4 : incompCones(C,F)

o4 = {({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 => 3                number of facets => 3
        number of rays => 3                  number of rays => 3
     ------------------------------------------------------------------------
      })}
     0

o4 : List

i5 : C1 = intersection {C, (matrix {{0,1,-1}}, matrix {{0}})};

i6 : C2 = intersection {C, (matrix {{0,-1,1}}, matrix {{0}})};

i7 : F = addCone({C1,C2},F)

o7 = {ambient dimension => 3         }
      number of generating cones => 3
      number of rays => 5
      top dimension of the cones => 3

o7 : Fan

i8 :