I will try to take all the above on board as I am implementing it, and look forward to having you people make constructive criticisms.... But David K's suggestion about the set of all iso/automorphisms might wait until the next round.
I hope that people other than elliptic curve afficionados have been following this thread, since the whole discussion is relevant in many other contexts and (as has been said) we definitely want a consistent interface. John On 17/01/2008, Nick Alexander <[EMAIL PROTECTED]> wrote: > > > On 17-Jan-08, at 10:19 AM, Soroosh Yazdani wrote: > > > On Jan 17, 2008 9:33 AM, David Kohel <[EMAIL PROTECTED]> wrote: > > X = Iso(E1,E2) # does nothing > > X.cardinality() # tests is_isomorphic and j-invariant = 0 or 12^3 > > X.representative() # computes an isomorphism > > X.list() # computes all isomorphisms > > > > The advantage of creating X is that it can cache the above data > > for efficiency. > > +1 > > +1 -- this kind of structure is what makes Sage more powerful than GP/ > PARI and often Magma. > > What's old is new again: Smalltalkers say 'everything is an object' > and Sage should too. > > Nick > > > > -- John Cremona --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@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-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
