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

Synopsis

Function: ideal
Usage:

I = ideal B
Inputs:
- B, an instance of the type NCQuotientRing,
Outputs:
- I, an instance of the type NCIdeal,

Description

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.
Complete!

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: