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 approximation to the q-torsion point and find a point over K close by, rather than solving the division polynomial over K. But this would not allow one to prove that there is no q- torsion. Chris. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
