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

i1 : R = QQ[a,b][x]

o1 = R

o1 : PolynomialRing

i2 : R.FlatMonoid

o2 = [x, a..b, Degrees => {{1}, 2:{0}}, Heft => {2:1}, MonomialOrder => {MonomialSize => 32}, DegreeRank => 2]
                           {0}    {1}                                   {GRevLex => {1}    }
                                                                        {Position => Up    }
                                                                        {GRevLex => {2:1}  }

o2 : GeneralOrderedMonoid

i3 :