ambient

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]/b^3/a^3)

      ZZ
     --- [a, b]
     101
o1 = ----------
          3
         b

o1 : QuotientRing

See also cover and super.

topindexpreviousupnext