flattenRing(...,CoefficientRing=>...) -- optionally specify the desired coefficient ring of the flattened ring

Description

i1 : k = toField (QQ[x]/(x^2+x+1));

i2 : R = k[y]/(x-y+2);

i3 : (S, f) = flattenRing(R); describe S

         k[y]
o4 = -----------
     - y + x + 2

i5 : (S2, f2) = flattenRing(R, CoefficientRing => QQ); describe S2

              QQ[y, x]
o6 = -------------------------
       2
     (x  + x + 1, - y + x + 2)

Further information

• Default value: null
• Function: flattenRing -- write a ring as a (quotient of a) polynomial ring
• Option key: CoefficientRing -- an optional argument

See also

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

Functions with optional argument named CoefficientRing :

• flattenRing(...,CoefficientRing=>...) -- optionally specify the desired coefficient ring of the flattened ring
• "generators(...,CoefficientRing=>...)" -- see generators(Ring) -- the list of generators of a ring
• "Grassmannian(...,CoefficientRing=>...)" -- see Grassmannian(ZZ,ZZ) -- the Grassmannian of linear subspaces of a vector space
• "Schubert(...,CoefficientRing=>...)" -- see Schubert(ZZ,ZZ,VisibleList) -- find the Plücker ideal of a Schubert variety