-- -*- M2-comint -*- hash: 7801987251213024132

i1 : L0 = diagonalMatchingField(3, 6)

o1 = Grassmannian Matching Field for Gr(3, 6)

o1 : GrMatchingField

i2 : getWeightMatrix L0

o2 = | 0  0  0 0 0 0 |
     | 6  5  4 3 2 1 |
     | 12 10 8 6 4 2 |

              3       6
o2 : Matrix ZZ  <-- ZZ

i3 : L1 = matchingFieldFromPermutation(3, 6, {6,5,4,3,2,1})

o3 = Grassmannian Matching Field for Gr(3, 6)

o3 : GrMatchingField

i4 : getWeightMatrix L1

o4 = | 0  0  0  0  0 0 |
     | 6  5  4  3  2 1 |
     | 30 24 18 12 6 0 |

              3       6
o4 : Matrix ZZ  <-- ZZ

i5 : L0 == L1

o5 = true

i6 : L2 = matchingFieldFromPermutation(3, 6, {1,3,2,6,4,5})

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

o6 : GrMatchingField

i7 : getWeightMatrix L2

o7 = | 0  0  0  0  0 0 |
     | 1  3  2  6  4 5 |
     | 30 24 18 12 6 0 |

              3       6
o7 : Matrix ZZ  <-- ZZ

i8 : L3 = matchingFieldFromPermutation({1,2,3}, 6, {1,4,2,3,6,5})

o8 = Flag Matching Field for Fl(1, 2, 3; 6)

o8 : FlMatchingField

i9 : getWeightMatrix L3

o9 = | 0  0  0  0  0 0 |
     | 1  4  2  3  6 5 |
     | 30 24 18 12 6 0 |

              3       6
o9 : Matrix ZZ  <-- ZZ

i10 : L4 = matchingFieldFromPermutation(3, 6, {1,4,2,3,6,5}, RowNum => 3)

o10 = Grassmannian Matching Field for Gr(3, 6)

o10 : GrMatchingField

i11 : getWeightMatrix L4

o11 = | 0 0  0  0  0  0  |
      | 5 4  3  2  1  0  |
      | 6 24 12 18 36 30 |

               3       6
o11 : Matrix ZZ  <-- ZZ

i12 : L5 = matchingFieldFromPermutation(3, 6, {1,3,2,4,6,5}, UsePrimePowers => true)

o12 = Grassmannian Matching Field for Gr(3, 6)

o12 : GrMatchingField

i13 : getWeightMatrix L5

o13 = | 0  0  0  0  0 0 |
      | 1  3  2  4  6 5 |
      | 35 28 21 14 7 0 |

               3       6
o13 : Matrix ZZ  <-- ZZ

i14 : L6 = matchingFieldFromPermutation(3, 6, {1,3,2,4,6,5}, PowerValue => 10)

o14 = Grassmannian Matching Field for Gr(3, 6)

o14 : GrMatchingField

i15 : getWeightMatrix L6

o15 = | 0  0  0  0  0  0 |
      | 1  3  2  4  6  5 |
      | 50 40 30 20 10 0 |

               3       6
o15 : Matrix ZZ  <-- ZZ

i16 : L7 = matchingFieldFromPermutation(3, 6, {5,4,3,2,1,0}, PowerValue => 1)

o16 = Grassmannian Matching Field for Gr(3, 6)

o16 : GrMatchingField

i17 : getWeightMatrix L7

o17 = | 0 0 0 0 0 0 |
      | 5 4 3 2 1 0 |
      | 5 4 3 2 1 0 |

               3       6
o17 : Matrix ZZ  <-- ZZ

i18 : L8 = matchingFieldFromPermutation(3, 6, {6,1,5,2,3,4}, UsePrimePowers => true, ScalingCoefficient => 3)

o18 = Grassmannian Matching Field for Gr(3, 6)

o18 : GrMatchingField

i19 : getWeightMatrix L8

o19 = | 0  0  0  0  0 0  |
      | 18 3  15 6  9 12 |
      | 35 28 21 14 7 0  |

               3       6
o19 : Matrix ZZ  <-- ZZ

i20 : isToricDegeneration L8

o20 = false

i21 : 
