Macaulay2 » Documentation
Packages » Macaulay2Doc > ideals > creating an ideal
next | previous | forward | backward | up | index | toc

creating an ideal


An ideal I is represented by its generators. We use the function ideal to construct an ideal.
i1 : R = QQ[a..d];
i2 : I = ideal (a^2*b-c^2, a*b^2-d^3, c^5-d)

             2     2     2    3   5
o2 = ideal (a b - c , a*b  - d , c  - d)

o2 : Ideal of R

monomial ideals

For a monomial ideal you can use the function monomialIdeal.
i3 : J = monomialIdeal (a^2*b, b*c*d, c^5)

                     2    5
o3 = monomialIdeal (a b, c , b*c*d)

o3 : MonomialIdeal of R
The distinction is small since a monomial ideal can be constructed using ideal . However, there are a few functions, like primaryDecomposition that run faster if you define a monomial ideal using monomialIdeal.


An interesting class of ideals can be obtained as the defining ideals in projective space of monomial curves. For example the twisted cubic is the closure of the set of points (1,t^1,t^2,t^3) in projective space. We use a list of the exponents and monomialCurveIdeal to get the ideal.
i4 : monomialCurveIdeal(R,{1,2,3})

             2                    2
o4 = ideal (c  - b*d, b*c - a*d, b  - a*c)

o4 : Ideal of R

See also