[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-25 Thread David Kohel
Hi John, > > Group --> WierstrassIsomorphismGroup > > GroupElement --> WeierstrassIsomorphism > > OK I'll try that. On this subject, I had the idea that an Iso(X,Y) subset of Hom(X,Y) should be defined for every category. Note that the subset Aut(X) of an End(X) is a group, but in general the W

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread Jaap Spies
William Stein wrote: > > Incidentally, there are 194 members of sage-devel, and there > were 756 messages posted last month. > In total from 2005.10.22 my count of messages is 6731. The first from David Joyner: >> Stay tuned: SAGE 0.8 will be released soon with some great new features. Ja

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread William Stein
On 9/24/07, John Cremona <[EMAIL PROTECTED]> wrote: > > One of the first "rules" of managing a large open source software > > development > > project well is to do as much as possible in the public. For example the > > above discussion about classes, etc., could be useful to many people, > > es

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread John Cremona
On 9/24/07, William Stein <[EMAIL PROTECTED]> wrote: > > On 9/24/07, John Cremona <[EMAIL PROTECTED]> wrote: > > What's your view of having a class to hold the [u,r,s,t], derived from > > the abstract Group class? It could be called WeirstrassIsomorphism > > perhaps. > > Group --> WierstrassIsomo

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread William Stein
On 9/24/07, John Cremona <[EMAIL PROTECTED]> wrote: > What's your view of having a class to hold the [u,r,s,t], derived from > the abstract Group class? It could be called WeirstrassIsomorphism > perhaps. Group --> WierstrassIsomorphismGroup GroupElement --> WeierstrassIsomorphism > I'll have

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread John Cremona
What's your view of having a class to hold the [u,r,s,t], derived from the abstract Group class? It could be called WeirstrassIsomorphism perhaps. I'll have to read up on derived classes in python since I only know them in C++. John PS If a subset of sage-devel is thinking about something whic

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread William Stein
On 9/24/07, John Cremona <[EMAIL PROTECTED]> wrote: > I'm sure you are right but doing that on my own (and in the next day > or two) is beyond my sage/python capabilities... to start with (and > as these isomorphisms of Weierstrass models are so much simpler than > more general isogenies) I was g

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread John Cremona
Thanks -- All this week (off and on) is ok, and I expect that my afternoons will be your mornings, my evenings your afternoons. For the 3 weeks after this I'll be much harder to get hold of. John On 9/24/07, David Roe <[EMAIL PROTECTED]> wrote: > John, > At the end of the spring I began working

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread David Roe
John, At the end of the spring I began working on porting your Magma code implementing Tate's algorithm for elliptic curves and p-adic heights to Sage. I made a lot of progress, but discovered that I needed to write a few new classes for elliptic curves over number fields. It sounds like some of

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-24 Thread John Cremona
David, I'm sure you are right but doing that on my own (and in the next day or two) is beyond my sage/python capabilities... to start with (and as these isomorphisms of Weierstrass models are so much simpler than more general isogenies) I was going to be much more simple-minded and just have a l

[sage-devel] Re: Proposed minor enhancement: elliptic curve transformations

2007-09-23 Thread David Kohel
Hi John, I would strongly suggest that this construction be compatible with isogenies (also yet to be implemented). Thus one should be able to compose isomorphisms and isogenies with one another. Moreover, one should be able to access the defining polynomials -- this is useful to verify the def