Macaulay2 » Documentation
Packages » NCAlgebra :: ideal(NCPolynomialRing)

next | previous | forward | backward | up | index | toc

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

Synopsis

Function: ideal
Usage:

I = ideal A
Inputs:
- A, an instance of the type NCPolynomialRing,
Outputs:
- I, an instance of the type NCIdeal,

Description

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

Ways to use this method:

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