-- -*- M2-comint -*- hash: 17823964087084734682

i1 : L = diagonalMatchingField(2, 4)

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

o1 : GrMatchingField

i2 : linearSpanTropCone L

o2 = image | 1 0 0 0  0 |
           | 0 1 1 -1 0 |
           | 0 1 0 0  0 |
           | 0 0 1 0  0 |
           | 0 0 0 1  0 |
           | 0 0 0 0  1 |

                               6
o2 : QQ-module, submodule of QQ

i3 : algebraicMatroid L == matroid transpose gens linearSpanTropCone L

o3 = true

i4 : 
