FlatMonoid

Synopsis

• 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

Description

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

See also

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