I believe the following Sage code (version 4.5.1) exhibits a bug: sage: K.<t>=GF(5)[] sage: R.<x>=K[] sage: S.<y>=GF(5)[] sage: f=x^10+2*x^6+2*x^5+x+2 sage: sage: S(f).factor() (y + 3)^6 * (y^4 + 2*y^3 + 4*y^2 + 3*y + 3)
The code and its up to here correct results show that f is inseparable, so 0 should be a root of the discriminant of f-t. However, we get sage: (f-t).discriminant().factor() (3) * (t + 3)^5 which is wrong. Even worse, -3 isn't a root of the discriminant of f-t, for sage: S(f+3).factor() y * (y + 1) * (y^2 + y + 1) * (y^3 + 2*y + 4) * (y^3 + 3*y^2 + 4) so f+3 is separable. Best wishes, Peter Mueller -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
