-- -*- M2-comint -*- hash: 17203655781962701107

i1 : L = diagonalMatchingField(2, 4)

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

o1 : GrMatchingField

i2 : getWeightMatrix L

o2 = | 0 0 0 0 |
     | 4 3 2 1 |

              2       4
o2 : Matrix ZZ  <-- ZZ

i3 : getWeightPluecker L

o3 = {3, 2, 2, 1, 1, 1}

o3 : List

i4 : m = matchingFieldRingMap L

o4 = map (QQ[x   ..x   ], QQ[p   ..p   , p   , p   , p   , p   ], {x   x   , x   x   , x   x   , x   x   , x   x   , x   x   })
              1,1   2,4       1,2   1,3   2,3   1,4   2,4   3,4     1,1 2,2   1,1 2,3   1,2 2,3   1,1 2,4   1,2 2,4   1,3 2,4

o4 : RingMap QQ[x   ..x   ] <-- QQ[p   ..p   , p   , p   , p   , p   ]
                 1,1   2,4          1,2   1,3   2,3   1,4   2,4   3,4

i5 : describe source m

o5 = QQ[p   ..p   , p   , p   , p   , p   , Degrees => {6:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32          }]
         1,2   1,3   2,3   1,4   2,4   3,4                                                  {Weights => {0..1, 1..2, 2:2}}
                                                                                            {GRevLex => {6:1}            }
                                                                                            {Position => Up              }

i6 : describe target m

o6 = QQ[x   ..x   , Degrees => {8:1}, Heft => {1}, MonomialOrder => {MonomialSize => 32    }]
         1,1   2,4                                                  {Weights => {5:0, 1..3}}
                                                                    {GRevLex => {8:1}      }
                                                                    {Position => Up        }

i7 : 
