-- -*- M2-comint -*- hash: 15660697087626471736

i1 : L = diagonalMatchingField(2, 4)

o1 = Grassmannian Matching Field for Gr(2, 4)

o1 : GrMatchingField

i2 : C = weightMatrixCone L

o2 = C

o2 : Cone

i3 : rays C

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

              8       3
o3 : Matrix ZZ  <-- ZZ

i4 : linealitySpace C

o4 = | 1 1 0 0 -1 |
     | 1 0 1 0 -1 |
     | 1 0 0 1 -1 |
     | 1 0 0 0 0  |
     | 0 1 0 0 0  |
     | 0 0 1 0 0  |
     | 0 0 0 1 0  |
     | 0 0 0 0 1  |

              8       5
o4 : Matrix ZZ  <-- ZZ

i5 : dim C

o5 = 8

i6 : L = grMatchingField(2, 3, {{1, 2}, {2, 3}, {3, 1}})

o6 = Grassmannian Matching Field for Gr(2, 3)

o6 : GrMatchingField

i7 : isCoherent L

o7 = false

i8 : dim weightMatrixCone L

o8 = 4

i9 : 
