Macaulay2 » Documentation
Packages » SubalgebraBases :: ambient(SAGBIBasis)
next | previous | forward | backward | up | index | toc

ambient(SAGBIBasis) -- The ambient ring of a SAGBIBasis computation object

Synopsis

Description

Returns the ambient ring of a SAGBIBasis. This is the ambient ring of the generating Subring This may be a PolynomialRing or QuotientRing.

i1 : R = QQ[x,y,z];
i2 : S = sagbi {x^2, y^2, z^2}

o2 = SAGBIBasis Computation Object with 3 generators, Limit = 20.

o2 : SAGBIBasis
i3 : ambient S

o3 = R

o3 : PolynomialRing
i4 : Q = R / ideal(x^3 - y);
i5 : S' = sagbi {x^3, y^2}

o5 = SAGBIBasis Computation Object with 1 generators, Limit = 20.

o5 : SAGBIBasis
i6 : ambient S'

o6 = Q

o6 : QuotientRing

See also

Ways to use this method: