On Fri, Jul 29, 2011 at 12:28 PM, John Cremona <[email protected]> wrote: > Hello Jack! > > Heights are definitely implemented over number fields, but there is > still one comment a the top of elliptic_curves/ell_point.py which says > the contrary, so it's just an unfortunate documentation glitch. > What's not yet implemented over number fields is height *bounds*, i.e. > bounds between naive and canonical height. There's a 3-digit trac > ticket for this but no-one has got around to it. > > You can see examples in the reference manual at > > http://www.sagemath.org/doc/reference/sage/schemes/elliptic_curves/ell_point.html > > As for your example, try defining the number fields using a monic > integer polynomial and see if that helps.
Yes, Sage doesn't fully support number fields defined by polynomials that are monic and integral. I wrote a function that makes writing down a monic integral polynomial easier once, which buried in heegner.py. You may find it useful: sage: sage.schemes.elliptic_curves.heegner.make_monic(2*x^3 + x^2/7 + 4*x - 2/3) (x^3 + 3*x^2 + 3528*x - 24696, 42) -- 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 URL: http://www.sagemath.org
