Re: [sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Jeroen Demeyer
On 2013-01-20 16:38, Jeroen Demeyer wrote: > This looks like > http://trac.sagemath.org/sage_trac/ticket/13672 This was due to a bad call to PARI (a ring object was passed as variable name where PARI expects a string). Needs review: http://trac.sagemath.org/sage_trac/ticket/13672 -- You receive

Re: [sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Jeroen Demeyer
This looks like http://trac.sagemath.org/sage_trac/ticket/13672 -- 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+unsub

Re: [sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Jeroen Demeyer
On 2013-01-20 16:25, Jeroen Demeyer wrote: > On 2013-01-20 15:56, Kannappan Sampath wrote: >> In Sage 5.5 and the 5.6.5c1, I get 4 as the output. > ...which is still wrong, the correct result would be 0. So we replaced > a wrong answer by a different wrong answer, progress! I meant to say, the di

Re: [sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Jeroen Demeyer
On 2013-01-20 15:56, Kannappan Sampath wrote: > In Sage 5.5 and the 5.6.5c1, I get 4 as the output. ...which is still wrong, the correct result would be 0. So we replaced a wrong answer by a different wrong answer, progress! -- You received this message because you are subscribed to the Google G

Re: [sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Peter Mueller
Sorry, I meant to say Sage version 5.4.1. In Sage 5.5 and the 5.6.5c1, I get 4 as the output. May be upgrade Sage? :) > I just updated to 5.5, with the same result as you. So the OLD bug was replaced by a NEW bug, because the discriminant of f-t must have the root 0, so it cannot be a nonzero c

Re: [sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Kannappan Sampath
Hello, sage: version() 'Sage Version 5.5, Release Date: 2012-12-22' On Sun, Jan 20, 2013 at 7:36 PM, Peter Mueller wrote: > I believe the following Sage code (version 4.5.1) exhibits a bug: > > sage: K.=GF(5)[] > sage: R.=K[] > sage: S.=GF(5)[] > sage: f=x^10+2*x^6+2*x^5+x+2 > sage: > sage: S(f)

[sage-support] bug in discriminant of polynomial over polynomial ring

2013-01-20 Thread Peter Mueller
I believe the following Sage code (version 4.5.1) exhibits a bug: sage: K.=GF(5)[] sage: R.=K[] sage: S.=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