ideal(NCPolynomialRing) -- The defining ideal of an NCPolynomialRing

• Function: ideal

• Usage:

  I = ideal A

• Inputs:
  • A, an instance of the type NCPolynomialRing,
• Outputs:
  • I, an instance of the type NCIdeal,

i1 : A = QQ{x,y}

o1 = A

o1 : NCPolynomialRing

i2 : ideal A

o2 = Two-sided ideal {0}

o2 : NCIdeal