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

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