On Jul 29, 3: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/el...
>
> As for your example, try defining the number fields using a monic
> integer polynomial and see if that helps.
>
> John
>
> On Jul 29, 7:45 pm, jack <[email protected]> wrote:
>
>
Thanks John and William.  Defining my field with a monic, integer
polynomial seems to have done the trick.

I didn't use your code for this William as it hangs up as follows:

sage: sage.schemes.elliptic_curves.heegner.make_monic(2*x^3 + x^2/7 +
4*x - 2/3)
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call
last)

/home/jack/<ipython console> in <module>()

/home/jack/Tools/sage-4.6.2-linux-64bit-ubuntu_10.04.1_lts-x86_64-
Linux/local/lib/python2.6/site-packages/sage/schemes/elliptic_curves/
heegner.pyc in make_monic(f)
   6113     """
   6114     # make f monic
-> 6115     n = f.degree()
   6116     f = f / f.leading_coefficient()
   6117     # find lcm of denominators

TypeError: degree() takes exactly one argument (0 given)

Perhaps I needed to declare 'x' or 'f' in some special way.

Best Wishes,
                    Jack Fearnley

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

Reply via email to