-- -*- M2-comint -*- hash: 5785485857703689410

i1 : U24 = uniformMatroid(2, 4)

o1 = a "matroid" of rank 2 on 4 elements

o1 : Matroid

i2 : A = basisIndicatorMatrix U24

o2 = | 1 1 0 1 0 0 |
     | 1 0 1 0 1 0 |
     | 0 1 1 0 0 1 |
     | 0 0 0 1 1 1 |

              4       6
o2 : Matrix ZZ  <-- ZZ

i3 : needsPackage "Polyhedra"

o3 = Polyhedra

o3 : Package

i4 : P = convexHull A

o4 = P

o4 : Polyhedron

i5 : vertices P

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

              4       6
o5 : Matrix QQ  <-- QQ

i6 : 
