On Sat, Jul 30, 2011 at 11:59 AM, Justin C. Walker <[email protected]> wrote:
>
> On Jul 30, 2011, at 11:43 , jack wrote:
>> 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)
>>
>
> Perhaps this will work if you set up the polynomial as an element in a 
> polynomial ring:
>
> sage: Zx.<x>=PolynomialRing(ZZ)
> sage: f=2*x^3 + x^2/7 + 4*x - 2/3
> sage: sage.schemes.elliptic_curves.heegner.make_monic(f)
>  (x^3 + 3*x^2 + 3528*x - 24696, 42)
>
> It's possible you leapt right in and called make_monic() with 'x' a 
> "symbolic" variable, so your polynomial was a symbolic expression.  That 
> might account for the error.
>
> I'm saying all this without knowing the details of your setup and what 
> preceded your call to make_monic(), of course :-}

I'm sure you're right though.  It makes perfect sense.

 -- William

>
> HTH
>
> Justin
>
> --
> Justin C. Walker, Curmudgeon-at-Large
> () The ASCII Ribbon Campaign
> /\ Help Cure HTML Email
>
>
>
> --
> 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
>



-- 
William Stein
Professor of Mathematics
University of Washington
http://wstein.org

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