ambient(Subring) -- Returns the ambient ring (ring containing the generators) of a subring.

Synopsis

• Function: ambient

• Usage:

  amb = ambient subR

• Inputs:
  • subR, an instance of the type Subring,
• Outputs:
  • amb, a polynomial ring, the ambient ring.

Description

i1 : gndR = QQ[x,y,z];

i2 : subR = subring({x^2, y^2, z^2});

i3 : ambient subR

o3 = gndR

o3 : PolynomialRing

See also

• ring(Subring) -- Returns tensor ring
• generators(Subring) -- Returns the generators of a subring as a one-row matrix.