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

--~--~---------~--~----~------------~-------~--~----~
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