next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NCAlgebra :: ideal(NCQuotientRing)

ideal(NCQuotientRing) -- Defining ideal of an NCQuotientRing in its ambient ring



This returns the defining ideal of an NCQuotientRing in its ambient ring. As of now, this is always an ideal in an NCPolynomialRing, but when quotients of NCQuotientRings are added, this will no longer be the case.

i1 : B = skewPolynomialRing(QQ,(-1)_QQ,{x,y,z})
--Calling Bergman for NCGB calculation.

o1 = B

o1 : NCQuotientRing
i2 : A = ambient B

o2 = A

o2 : NCPolynomialRing
i3 : I = ideal B

o3 = Two-sided ideal {yx+xy, zx+xz, zy+yz}

o3 : NCIdeal
i4 : ring I === A

o4 = true

Ways to use this method: