ambient(NCQuotientRing) -- Ambient ring of an NCQuotientRing

• Function: ambient

• Usage:

  A = ambient B

• Inputs:
  • B, an instance of the type NCQuotientRing,
• Outputs:
  • A, an instance of the type NCPolynomialRing,

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