I = ideal B
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.
|
|
|
|
The source of this document is in NCAlgebra/NCAlgebraDoc.m2:362:0.