next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NCAlgebra :: ambient(NCQuotientRing)

ambient(NCQuotientRing) -- Ambient ring of an NCQuotientRing

Synopsis

Description

Returns the ambient ring of an NCQuotientRing.

As quotients of NCQuotientRings are added, this will return the top-level ambient ring.

i1 : B = skewPolynomialRing(QQ,(-1)_QQ,{x,y,z})
--Calling Bergman for NCGB calculation.
--running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12172-0/0.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12172-0/3.ter ... Complete!

o1 = B

o1 : NCQuotientRing
i2 : A = ambient B

o2 = A

o2 : NCPolynomialRing