-- -*- M2-comint -*- {* hash: -786285823 *}

i1 : degreesMonoid {1,2,5}

o1 = [T , T , T , Degrees => {1..2, 5}, MonomialOrder => {MonomialSize => 32     }, DegreeRank => 1, Inverses => true, Global => false]
       0   1   2                                         {Weights => {-1, -2, -5}}
                                                         {GroupLex => 3          }
                                                         {Position => Up         }

o1 : GeneralOrderedMonoid

i2 : degreesMonoid 3

o2 = [T , T , T , Degrees => {3:{}}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 0, Inverses => true, Global => false]
       0   1   2                                      {Weights => {3:-1} }
                                                      {GroupLex => 3     }
                                                      {Position => Up    }

o2 : GeneralOrderedMonoid

i3 : R = QQ[x,y,Degrees => {{1,-2},{2,-1}}];

i4 : heft R

o4 = {1, 0}

o4 : List

i5 : degreesMonoid R

o5 = [T , T , Degrees => {1, 0}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 1, Inverses => true, Global => false]
       0   1                                      {Weights => {-1..0}}
                                                  {GroupLex => 2     }
                                                  {Position => Up    }

o5 : GeneralOrderedMonoid

i6 : S = QQ[x,y,Degrees => {-2,1}];

i7 : heft S

i8 : degreesMonoid S^3

o8 = [T, Degrees => {{}}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 0, Inverses => true, Global => false]
                                           {Weights => {-1}   }
                                           {GroupLex => 1     }
                                           {Position => Up    }

o8 : GeneralOrderedMonoid

i9 :