next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: ideal(List)

ideal(List) -- make an ideal

Synopsis

Description

i1 : R = ZZ/101[w,x,y,z];
i2 : ideal{x^2-w*y, x*y-w*z, x*z-y^2}

             2                      2
o2 = ideal (x  - w*y, x*y - w*z, - y  + x*z)

o2 : Ideal of R
i3 : ideal(y^2-x*z,x^2*y-z^2,x^3-y*z)

             2         2     2   3
o3 = ideal (y  - x*z, x y - z , x  - y*z)

o3 : Ideal of R
i4 : E = ZZ/2[x,y, SkewCommutative => true];
i5 : ideal(x^2,x*y)

o5 = ideal (0, x*y)

o5 : Ideal of E
i6 : W = QQ[x,dx, WeylAlgebra => {x => dx}];
i7 : ideal(dx*x+x*dx)

o7 = ideal(2x*dx + 1)

o7 : Ideal of W
i8 : I = ideal(12,18)

o8 = ideal (12, 18)

o8 : Ideal of ZZ
i9 : mingens I

o9 = | 6 |

              1        1
o9 : Matrix ZZ  <--- ZZ

An empty list or sequence of generators will yield an ideal of ZZ, which can be promoted to another ring, if desired.

i10 : ideal ()

o10 = ideal ()

o10 : Ideal of ZZ
i11 : promote(oo,R)

o11 = ideal ()

o11 : Ideal of R

See also