-- -*- M2-comint -*- hash: 1729731311480213691

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

o1 = R

o1 : PolynomialRing

i2 : R.FlatMonoid

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

o2 : GeneralOrderedMonoid

i3 : 
