This returns the defining ideal of an NCPolynomialRing, which will be the zero ideal in the noncommutative polynomial ring.
i1 : A = QQ{x,y} o1 = A o1 : NCPolynomialRing |
i2 : ideal A o2 = Two-sided ideal {0} o2 : NCIdeal |