The main thing I'm looking for, and couldn't achieve on my own is the following:
I have an elliptic curve E over a finite field of size q. At first, I want to work with elements of the function field of E over the finite field extended by an irreducible polynomial (specifically, an nth division polynomial, with n not dividing |E|). Then, finally, I want to divide the last function field (its multiplicative group) by the ideal generated by another irreducible polynomial (specifically, an mth division polynomial, with (m,n,| E|)=1). In the end, I think I should get something isomorphic to a multiplicative group of a finite field of size p^( (n^2/2)*(m^2/2) ). Any ideas on how to get this? --~--~---------~--~----~------------~-------~--~----~ 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-forum URLs: http://sage.math.washington.edu/sage/ and http://sage.scipy.org/sage/ -~----------~----~----~----~------~----~------~--~---
