2009/4/27 Alex Ghitza <aghi...@gmail.com>:
>
> Weird.  This does not happen on my laptop (32-bit arch linux -- you
> didn't think I would put up a patch without doctesting did you? :)

Of course not!

>
> But I am definitely getting this on sage.math.  I'll try to see what I
> can do about it.

thanks.  As I said, my debugging attempt hit a dead end.

John

>
> Alex
>
>
>
> On Mon, Apr 27, 2009 at 9:20 PM, John Cremona <john.crem...@gmail.com> wrote:
>>
>> This looks pretty nasty:
>>
>> sage: Fx.<b>=GF(2^(4*5))
>> sage: Ex=EllipticCurve(Fx,[0,0,1,1,1])
>> sage: Ex.defining_polynomial()
>> x^3 + y^2*z + 0*x*z^2 + 0*y*z^2 + 0*z^3
>>
>> (note the coefficients of zero).
>>
>> I found this while reviewing #5765 but the above is in a vanilla
>> 3.4.2.alpha0, and it is wrong;  though this was only revealed by #5765
>> which changed the method for verifying that a point lies on a curve
>> from something which uses the a-invariants directly to a general
>> scheme function which uses the defining polynomial.  This causes
>> elliptic_curves/ell_point.py to fail.  So the bug might have been
>> around for a while.
>>
>> John
>>
>
>
> --
> Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne
> -- Australia -- http://www.ms.unimelb.edu.au/~aghitza/
>
> >
>

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to