John Cremona on Wed, 15 Feb 2012 17:20:57 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: Complex AGM |
On 15 February 2012 15:54, Andreas Enge <andreas.enge@inria.fr> wrote: > On Wed, Feb 15, 2012 at 03:24:21PM +0000, John Cremona wrote: >> For a definition of what "optimal" means and why it matters for >> elliptic curve period computations, see http://arxiv.org/abs/1011.0914 > > In his PhD thesis, Dupont makes the additional assumption that if there > are two "good" choices, then Im (b_n, a_n) > 0 (it could be that this is > taken from Cox1984, I have not verified). So I would suggest to modify > pari to compute the optimal sequence together with this normalisation. Yes, that is essentially Cox's definition. But this ambiguous case only happens at the first step of the algorithm anyway, and when it does happen the two limits you get by making both choices have exactly the same absolute value. John > > Andreas