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

i1 : C1 = posHull matrix {{1,2},{2,1}}

o1 = {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of the cone => 2
      number of facets => 2
      number of rays => 2

o1 : Cone

i2 : C2 = posHull matrix {{1}}

o2 = {ambient dimension => 1           }
      dimension of lineality space => 0
      dimension of the cone => 1
      number of facets => 1
      number of rays => 1

o2 : Cone

i3 : C = C1 * C2

o3 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of the cone => 3
      number of facets => 3
      number of rays => 3

o3 : Cone

i4 : rays C

o4 = | 2 1 0 |
     | 1 2 0 |
     | 0 0 1 |

              3        3
o4 : Matrix QQ  <--- QQ

i5 :