On Thu, Sep 10, 2009 at 11:02 AM, Robert Bradshaw <[email protected]> wrote: > > On Sep 10, 2009, at 8:54 AM, Mariah wrote: > >> Sorry, mistyped. Should be >> >> A = 2^(2^17+2^15) >> >> On Sep 10, 11:51 am, Mariah Lenox <[email protected]> wrote: >>> In sage-4.1.1 >>> >>> R.<x> = PolynomialRing(ZZ) >>> A = 2^(2^17+s^15) >>> a = A * x^31 >>> b = (A * x) * x^30 >>> a == b # prints "False" ??? >>> >>> I believe A and 31 are minimal to exhibit the bug. >>> >>> Can someone confirm? > > I'm seeing this too. > > sage: R.<x> = ZZ[] > sage: A = 2^(2^17+2^15) > sage: (A*x*x^30)[0] # not zero! > > This is on my 32-bit laptop, and 64-bit sage.math (but different non- > zero coefficients). Probably a bug in FLINT.
I see this too on 64-bit OS X and sage.math. I've opened a trac ticket. http://trac.sagemath.org/sage_trac/ticket/6919 I'm pretty sure it is a FLINT bug, especially because using implementation='NTL' (as on the trac ticket) fixes things. Mariah, many many thanks for reporting this. I've made it a blocker for sage-4.1.2. -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
