-- -*- M2-comint -*- hash: 16147349486041752418

i1 : QQ[x][y]

o1 = QQ[x][y]

o1 : PolynomialRing

i2 : oo.FlatMonoid

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

o2 : GeneralOrderedMonoid

i3 : QQ[x][y][z]

o3 = QQ[x][y][z]

o3 : PolynomialRing

i4 : oo.FlatMonoid

o4 = monoid[z, y, x, Degrees => {{1}, {0}, {0}}, Heft => {3:1}, MonomialOrder => {MonomialSize => 32}]
                                 {0}  {1}  {0}                                   {GRevLex => {1}    }
                                 {0}  {0}  {1}                                   {Position => Up    }
                                                                                 {2:(GRevLex => {1})}

o4 : GeneralOrderedMonoid

i5 : QQ[x][y, Join => false]

o5 = QQ[x][y]

o5 : PolynomialRing

i6 : oo.FlatMonoid

o6 = monoid[y, x, Degrees => {2:1}, Heft => {1}, Join => false, MonomialOrder => {MonomialSize => 32}]
                                                                                 {GRevLex => {1}    }
                                                                                 {Position => Up    }
                                                                                 {GRevLex => {1}    }

o6 : GeneralOrderedMonoid

i7 : 
