-- -*- M2-comint -*- hash: 11299466657480679621

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

i5 : 
