Hello,
I'm a bit confused about Sage's answer if Ideal(1) is prime.
R.x,y= QQ[]
I = Ideal(R(1))
I.is_prime()
Sage (5.11, not only) says yes,
conflicting to the definition, http://en.wikipedia.org/wiki/Prime_ideal
Has somebody an expanation of this behaviour?
Jack
--
You received this
That is definitely a bug, and cause by the similarly wrong
sage: I.complete_primary_decomposition()
[(Ideal (1) of Multivariate Polynomial Ring in x, y over Rational
Field, Ideal (1) of Multivariate Polynomial Ring in x, y over Rational
Field)]
which I'm sure has been reported before. The