After some discussion on mathoverflow, I think (x*y)^2=0 is not a bug, because x^2*y^2=x^2*(3*y)2-2*y^2*(2*x)^2
Not sure if the small print of Ideal.reduce() covers: sage: ((x*y)^2).reduce(Ideal([(2*x)^2,(3*y)^2])) x^2*y^2 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD_b3F%2B4Nj8uj0Ldd2hG0cbTLthZVD1nN5xcJ2u1-SJv%2Bw%40mail.gmail.com.
