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

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 : dualFaceLattice(2,C)

o2 = {{0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3}, {2, 3}}

o2 : List

i3 : R = halfspaces 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 : dualFaceLattice C

o4 = {{{}}, {{0}, {1}, {2}, {3}}, {{0, 1}, {0, 2}, {0, 3}, {1, 2}, {1, 3},
     ------------------------------------------------------------------------
     {2, 3}}, {{1, 2, 3}, {0, 2, 3}, {0, 1, 3}, {0, 1, 2}}, {{0, 1, 2, 3}}}

o4 : List

i5 :