i1 : R = QQ[a..d]; |
i2 : I = ideal (a^2*b-c^2, a*b^2-d^3, c^5-d) |
i3 : J = monomialIdeal (a^2*b, b*c*d, c^5) |
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.
i4 : monomialCurveIdeal(R,{1,2,3}) |