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? :)

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

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