Macaulay2 » Documentation
Packages » Macaulay2Doc » The Macaulay2 language » Type » Ring » ambient(Ring)
next | previous | forward | backward | up | index | toc

ambient(Ring) -- ambient polynomial ring

Description

i1 : A = ZZ[a..d];
i2 : B = A/(3*a^2-1);
i3 : C = B/(a*b-3);
i4 : describe C

        B
o4 = -------
     a*b - 3
i5 : ambient C

o5 = B

o5 : QuotientRing
If R is not a quotient of a polynomial ring, an error is given.

Caveat

If the ring is a GaloisField, then the meaning is different. See ambient(GaloisField).

Ways to use this method:

  • ambient(PolynomialRing)
  • ambient(QuotientRing)
  • ambient(Ring) -- ambient polynomial ring

The source of this document is in Macaulay2Doc/functions/ambient-doc.m2:40:0.