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

i1 : P = convexHull matrix{{2,1,-1,-2,-1,1},{0,1,1,0,-1,-1}}

o1 = {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 2
      number of facets => 6
      number of rays => 0
      number of vertices => 6

o1 : Polyhedron

i2 : (C,L,M) = minkSummandCone P

o2 = ({ambient dimension => 6           }, HashTable{0 =>
       dimension of lineality space => 0                 
       dimension of the cone => 4                        
       number of facets => 6                             
       number of rays => 5                               
                                                         
                                                     1 =>
                                                         
                                                         
                                                         
                                                         
                                                         
                                                     2 =>
                                                         
                                                         
                                                         
                                                         
                                                         
                                                     3 =>
                                                         
                                                         
                                                         
                                                         
                                                         
                                                     4 =>
                                                         
                                                         
                                                         
                                                         
                                                         
     ------------------------------------------------------------------------
     {ambient dimension => 2           }}, | 1 0 |)
      dimension of lineality space => 0    | 0 1 |
      dimension of polyhedron => 1         | 1 0 |
      number of facets => 2                | 1 0 |
      number of rays => 0                  | 0 1 |
      number of vertices => 2
     {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 2
      number of facets => 3
      number of rays => 0
      number of vertices => 3
     {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 1
      number of facets => 2
      number of rays => 0
      number of vertices => 2
     {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 1
      number of facets => 2
      number of rays => 0
      number of vertices => 2
     {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 2
      number of facets => 3
      number of rays => 0
      number of vertices => 3

o2 : Sequence

i3 : rays C

o3 = | 1 0 0 0 1 |
     | 0 1 0 1 0 |
     | 0 1 1 0 0 |
     | 1 1 0 0 0 |
     | 0 0 1 0 1 |
     | 0 0 0 1 1 |

              6        5
o3 : Matrix QQ  <--- QQ

i4 : apply(values L,vertices)

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

o4 : List

i5 : M

o5 = | 1 0 |
     | 0 1 |
     | 1 0 |
     | 1 0 |
     | 0 1 |

              5        2
o5 : Matrix QQ  <--- QQ

i6 :