R.FlatMonoid
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
The object FlatMonoid is a symbol.