Seria 5 - zadanie 5

2670 days ago by netkuba

 
       
RR.<x> = PolynomialRing(QQ, 1, order='lex') I = (100*x^2 - 200*x + 100)*R cpdI = I.complete_primary_decomposition() print cpdI 
       
[(Ideal (x^2 - 2*x + 1) of Multivariate Polynomial Ring in x, y, z
over Rational Field, Ideal (x - 1) of Multivariate Polynomial Ring
in x, y, z over Rational Field)]
RR.<x,y,z> = PolynomialRing(QQ, 3, order='lex') I = (x*y,x-y*z)*RR cpdI = I.complete_primary_decomposition() print cpdI 
       
[(Ideal (y^2, x - y*z) of Multivariate Polynomial Ring in x, y, z
over Rational Field, Ideal (y, x) of Multivariate Polynomial Ring in
x, y, z over Rational Field), (Ideal (z, x) of Multivariate
Polynomial Ring in x, y, z over Rational Field, Ideal (z, x) of
Multivariate Polynomial Ring in x, y, z over Rational Field)]
RR.<x,y,z> = PolynomialRing(QQ, 3, order='lex') I = (x*x, x*z, y*x, y*z)*RR cpdI = I.complete_primary_decomposition() print cpdI 
       
[(Ideal (z, x) of Multivariate Polynomial Ring in x, y, z over
Rational Field, Ideal (z, x) of Multivariate Polynomial Ring in x,
y, z over Rational Field), (Ideal (y, x) of Multivariate Polynomial
Ring in x, y, z over Rational Field, Ideal (y, x) of Multivariate
Polynomial Ring in x, y, z over Rational Field), (Ideal (z, y, x^2)
of Multivariate Polynomial Ring in x, y, z over Rational Field,
Ideal (z, y, x) of Multivariate Polynomial Ring in x, y, z over
Rational Field)]
 
       
Traceback (click to the left of this block for traceback)
...
TypeError: Cannot call Singular function 'primdecSY' with ring
parameter of type '<class
'sage.rings.quotient_ring.QuotientRing_generic'>'