-- -*- M2-comint -*- hash: -830365499

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 : 
