-- -*- M2-comint -*- hash: 4153353652133790697

i1 : L = grMatchingField(2, 4, {{1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,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 : (monoid ring I).Options.MonomialOrder

o3 = {MonomialSize => 32           }
     {Weights => {0, 1, 1, 2, 2, 2}}
     {GRevLex => {1, 1, 1, 1, 1, 1}}
     {Position => Up               }

o3 : VerticalList

i4 : getWeightPluecker L

o4 = {-1, -2, -2, -3, -3, -3}

o4 : List

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

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

o5 : GrMatchingField

i6 : isCoherent L

o6 = false

i7 : I = plueckerIdeal(L, MonomialOrder => "none")

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

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

i8 : 
