Copy of primary

1410 days ago by aweber

R.<x, y> = PolynomialRing(GF(7)) I=(x*y,y^2)*R; print I.primary_decomposition() print print I.associated_primes() 
       
[Ideal (y) of Multivariate Polynomial Ring in x, y over Finite Field
of size 7, Ideal (x, y^2) of Multivariate Polynomial Ring in x, y
over Finite Field of size 7]

[Ideal (y) of Multivariate Polynomial Ring in x, y over Finite Field
of size 7, Ideal (y, x) of Multivariate Polynomial Ring in x, y over
Finite Field of size 7]
R.<x,y,z> = PolynomialRing(QQ) I=(x^2+y^2-2*z^2,x-y)*R; print I.primary_decomposition() print print I.associated_primes() 
       
[Ideal (y - z, x - z) of Multivariate Polynomial Ring in x, y, z
over Rational Field, Ideal (y + z, x + z) of Multivariate Polynomial
Ring in x, y, z over Rational Field]

[Ideal (y - z, x - z) of Multivariate Polynomial Ring in x, y, z
over Rational Field, Ideal (y + z, x + z) of Multivariate Polynomial
Ring in x, y, z over Rational Field]