flattenedRing -- The flattened ring of a subring or sagbiBasis

Synopsis

• 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

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