I = ideal A
This returns the defining ideal of an NCPolynomialRing, which will be the zero ideal in the noncommutative polynomial ring.
|
|
The source of this document is in NCAlgebra/NCAlgebraDoc.m2:263:0.