Macaulay2 » Documentation
Packages » SubalgebraBases :: flattenedRing

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

flattenedRing -- The flattened ring of a subring or sagbiBasis

Usage:

result = flattened S

result = flattened SB
Inputs:
- S, a subring,
- SB, a SAGBIBasis,
Outputs:
- result, a ring, the flattened ring of the ambient ring

Description

Returns the flattened ring of the ambient ring. This may be a PolynomialRing or QuotientRing.

i1 : R = (QQ[x])[y]/ideal(x^2-y^3);

i2 : S = subring {x+y,x*y};

i3 : ambient S

o3 = R

o3 : QuotientRing

i4 : flattenedRing S

      QQ[y, x]
o4 = ---------
        3    2
     - y  + x

o4 : QuotientRing

See also

Subring -- The type of all subrings
subring -- Constructs a subring of a polynomial ring.
SAGBIBasis -- The type of all subalgebra bases
sagbiBasis -- Constructs a computation object from a subring.
ambient(SAGBIBasis) -- The ambient ring of a SAGBIBasis computation object

Ways to use flattenedRing:

flattenedRing(SAGBIBasis)
flattenedRing(Subring)

For the programmer

The object flattenedRing is a method function.

The source of this document is in SubalgebraBases/documentation.m2:2670:0.