-- -*- M2-comint -*- hash: 9785504310814732725

i1 : L = diagonalMatchingField(2, 4)

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

o1 : GrMatchingField

i2 : I = plueckerIdeal L

o2 = ideal(p   p    - p   p    + p   p   )
            2,3 1,4    1,3 2,4    1,2 3,4

o2 : Ideal of QQ[p   ..p   , p   , p   , p   , p   ]
                  1,2   1,3   2,3   1,4   2,4   3,4

i3 : J = matchingFieldIdeal L

o3 = ideal(p   p    - p   p   )
            2,3 1,4    1,3 2,4

o3 : Ideal of QQ[p   ..p   , p   , p   , p   , p   ]
                  1,2   1,3   2,3   1,4   2,4   3,4

i4 : J == ideal leadTerm(1, I)

o4 = true

i5 : isToricDegeneration L

o5 = true

i6 : 
