ambient -- ambient free module of a subquotient, or ambient ring

ambient -- ambient free module of a subquotient, or ambient ring

ambient M -- yields the ambient free module for the module M.
ambient R -- yields the ambient ring of the quotient ring R. For a Galois field it yields the ring it was constructed from.

i1 : ambient(ZZ/101[a,b]/(a^3+b^3))



      ZZ

o1 = --- [a, b]

     101



o1 : PolynomialRing

See also:

cover -- get the covering free module

super -- get the ambient module

Ways to use ambient :

ambient AffineVariety

ambient CoherentSheaf

ambient GaloisField

ambient GradedModule

ambient Matrix

ambient Module -- ambient free module of a subquotient, or ambient ring

ambient PolynomialRing

ambient ProjectiveVariety

ambient QuotientRing

ambient Ring