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

Description

Each module M in Macaulay2 is a quotient, submodule or subquotient of a free module, called the ambient free module of M.

The ambient ring of a quotient ring R/I is the polynomial ring of that it is a quotient. The ambient ring of a Galois field is the quotient ring that it was constructed from.

Ways to use ambient :

ambient(AffineVariety) (missing documentation)
ambient(CoherentSheaf) (missing documentation)
ambient(GaloisField) -- corresponding quotient ring
ambient(Matrix) -- get the map between the ambient free modules
ambient(GradedModule) -- see ambient(Module) -- ambient free module
ambient(Module) -- ambient free module
ambient(ProjectiveVariety) (missing documentation)
ambient(PolynomialRing) -- see ambient(Ring) -- ambient polynomial ring
ambient(QuotientRing) -- see ambient(Ring) -- ambient polynomial ring
ambient(Ring) -- ambient polynomial ring
ambient(SheafMap) (missing documentation)

For the programmer

The object ambient is a method function.

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

Description

See also

Ways to use ambient :

For the programmer