Macaulay2 » Documentation
Packages » Macaulay2Doc :: flattenRing(...,CoefficientRing=>...)

next | previous | forward | backward | up | index | toc

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

Description

Use this option to change the default behavior of flattenRing, by setting the option to the desired coefficientRing of the output ring.

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)

See flattenRing documentation for more examples and details.

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