- Usage:
`R.FlatMonoid`

- Inputs:
`R`, a polynomial ring

- Outputs:
- a general ordered monoid, the flattened monoid in terms of which the polynomials are expressed when the coefficient ring of R is itself a polynomial ring

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}, DegreeRank => 2] {0} {1} {GRevLex => {1} } {Position => Up } {GRevLex => {2:1} } o2 : GeneralOrderedMonoid |

- flattenRing -- write a ring as a (quotient of a) polynomial ring

The object FlatMonoid is a symbol.