Summary: Sample solutions of selected problems with Macaulay2 (Sets 2, 3)
Chris Peterson and Hirotachi Abo
Problem 4 (Set 2). Let R be the polynomial ring with variables x and y over
rational numbers QQ.
i1 : R=QQ[x,y]
o1 = R
o1 : PolynomialRing
Define the ideal generated by x2
and xy:
i2 : I=ideal(x^2,x*y)
2
o2 = ideal (x , x*y)
o2 : Ideal of R
Compute the radical of I:
i3 : radI=radical I
o3 = ideal x
o3 : Ideal of R
In Macaulay2, you can use the function primaryDecomposition to find the
primary decomposition of an ideal:
i4 : compI=primaryDecomposition(I)

Source: Abo, Hirotachi - Department of Mathematics, University of Idaho

Collections: Mathematics