On 07/04/2008, David Roe <[EMAIL PROTECTED]> wrote:
>
> I'm back from my three week trip to the west coast and will take a look at
> this.
I didn't realise that p-adics were coast-sensitive!
John
>
> David
>
>
> On Mon, Apr 7, 2008 at 11:16 AM, Kiran Kedlaya <[EMAIL PROTECTED]> wrote:
> >
> > Jen Balakrishnan spent time with some of the usual suspects during the
> > Arizona Winter School tracking down bugs in the p-adics, but more
> > remain. We've isolated a code snippet that makes sage 2.11 go boom on
> > multiple platforms:
> > {{{
> > sage: R.<x> = QQ[]
> > sage: K = Qp(11,10)
> > sage: J.<a> = K.extension(x^30-11)
> > sage: M.<t> = PowerSeriesRing(J)
> > sage: S.<x,y> = QQ[]
> > sage: xr = O(a^152)*t + (8*a^2 + 10*a^32 + 7*a^62 + 10*a^92 + 7*a^122
> > + O(a^152))*t^2 + O(a^154)*t^3 + (2*a^4 + 10*a^64 + 2*a^124 +
> > O(a^154))*t^4 + O(a^156)*t^5 + (5*a^6 + 2*a^96 + a^126 + O(a^156))*t^6
> > + O(a^158)*t^7 + (7*a^8 + 6*a^38 + 8*a^68 + 2*a^98 + 5*a^128 +
> > O(a^158))*t^8 + O(a^160)*t^9 + (8*a^10 + 10*a^40 + a^70 + 5*a^130 +
> > O(a^160))*t^10 + O(a^162)*t^11 + (9*a^12 + 7*a^42 + 8*a^72 + 6*a^102 +
> > 9*a^132 + O(a^162))*t^12 + O(a^164)*t^13 + (2*a^14 + 5*a^44 + 3*a^74 +
> > a^104 + 4*a^134 + O(a^164))*t^14 + O(a^166)*t^15 + (2*a^16 + 5*a^46 +
> > 8*a^76 + 5*a^106 + 7*a^136 + O(a^166))*t^16 + O(a^168)*t^17 + (7*a^18
> > + 3*a^48 + 6*a^78 + 9*a^138 + O(a^168))*t^18 + O(a^172)*t^19 + (7*a^50
> > + 3*a^80 + 5*a^110 + 5*a^140 + 7*a^170 + O(a^172))*t^20 +
> > O(a^172)*t^21 + (a^22 + a^52 + 3*a^82 + 3*a^112 + 2*a^142 +
> > O(a^172))*t^22 + O(a^174)*t^23 + (4*a^24 + 7*a^54 + 9*a^84 + 4*a^114 +
> > 7*a^144 + O(a^174))*t^24 + O(a^176)*t^25 + (3*a^26 + 8*a^56 + 8*a^116
> > + 5*a^146 + O(a^176))*t^26 + O(a^178)*t^27 + (2*a^28 + 2*a^58 + 6*a^88
> > + a^118 + 10*a^148 + O(a^178))*t^28 + O(a^180)*t^29 + (8*a^30 + 5*a^60
> > + 8*a^90 + 5*a^120 + 6*a^150 + O(a^180))*t^30 + O(a^184)*t^31 +
> > (7*a^62 + 9*a^92 + 2*a^182 + O(a^184))*t^32
> > sage: yr = xr^2
> > sage: dtr = xr.derivative()
> > sage: f_dtr = yr*dtr # boom
> > FFTRep: inconsistent use
> > (and then sage exits uncleanly)
> > }}}
> > I wasn't able to find a shorter value of xr that reproduces this
> > (removing the t^32 term alleviates the error).
> >
> > We've opened ticket #2843 for this.
> >
> > Kiran
> >
> >
> > >
> >
>
> >
>
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
