[sage-support] Re: Sage Question: Computing torsion subgroups of ECs over arbitrary number fields

2008-06-06 Thread chris wuthrich
I have written the code that computes the torsion of an elliptic over a number field. See trac Ticket #3377. --~--~-~--~~~---~--~~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] Fo

[sage-support] Re: Sage Question: Computing torsion subgroups of ECs over arbitrary number fields

2008-05-21 Thread chris wuthrich
I actually started to implement this at some point, but I gave up when I realised that there was no 'reduction' of the curve at places of the number field. I will have look at this now, maybe I can do it now. Once one has bounded the possible torsion, it could be better to compute a complex ap

[sage-support] Re: Sage Question: Computing torsion subgroups of ECs over arbitrary number fields

2008-05-20 Thread William Stein
On Tue, May 20, 2008 at 6:02 PM, Dan Shumow <[EMAIL PROTECTED]> wrote: > > Ok, what I really want to do is determine if there is a torsion point > of order q (a prime) on an elliptic curve over a number field. > > Is there a better way to do this in sage besides looking for roots of > the qth divi

[sage-support] Re: Sage Question: Computing torsion subgroups of ECs over arbitrary number fields

2008-05-20 Thread Dan Shumow
Ok, what I really want to do is determine if there is a torsion point of order q (a prime) on an elliptic curve over a number field. Is there a better way to do this in sage besides looking for roots of the qth division polynomial? Thanks, Dan On May 19, 6:32 pm, "William Stein" <[EMAIL PROTEC

[sage-support] Re: Sage Question: Computing torsion subgroups of ECs over arbitrary number fields

2008-05-19 Thread William Stein
On Mon, May 19, 2008 at 6:29 PM, Dan Shumow <[EMAIL PROTECTED]> wrote: > > Presently, in sage, is there anyway to computer the torsion subgroup > of a curve over an arbitrary number field? > > I'm pouring through the documentation, and I see how to do it for a > curve over the rationals. Is this