coefficientRing(NCRing) -- Returns the base ring of an NCRing

Synopsis

• Function: coefficientRing

• Usage:

  k = coefficientRing NCRing

• Inputs:
  • A, an instance of the type NCRing
• Outputs:
  • k, a ring

Description

i1 : A = QQ{x,y,z}

o1 = A

o1 : NCPolynomialRing

i2 : coefficientRing A

o2 = QQ

o2 : Ring

i3 : R = ZZ/101[a,b,c,d]/(ideal(a^2-b^2))

o3 = R

o3 : QuotientRing

i4 : B = R{x,y,z}

o4 = B

o4 : NCPolynomialRing

i5 : coefficientRing B

o5 = R

o5 : QuotientRing