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.
Complete!
o1 = B
o1 : NCQuotientRing
|
i2 : A = ambient B o2 = A o2 : NCPolynomialRing |