Hello Maarten,

Thanks for your reply; I'm afraid my ignorance of elliptic curves is
broader than you expect :)

On Aug 2, 5:03 am, koffie <[email protected]> wrote:
> Hej Niles,
>
> I wonder why in your example you do the quadratic twist thing. In this
> case E is equal to it's quadratic twist. (at least without the patch).

I didn't know this fact, so I simply mimicked the failing code as
closely as possible.  The values of E, Et, and D are just as you've
shown both before and after applying the patch, but thought it was
safer to go through all the steps.


> Have you already tried to use the equation in the docstring of
> Dp_valued_series which it's output has to satisfy to determine the
> right awnser?

No, I'm afraid I don't understand this equation either (it's not
obvious to me how to determine \varphi and \omega).  I could probably
figure it out, but I had hoped someone on this list would be able to
see immediately which of the two answers is correct.  On this point,
it would be helpful if the docstring for Dp_valued_series included
code to verify that the example output does satisfy the stated
equation.  I can offer at least that if someone sends such code to the
list, I'll include it in the docstring :)

(Also, I have checked the example given in the docstring for elliptic
curve 14a, and the power series patch does not affect this answer.  In
fact the patch passes all tests from 'make ptestlong' except for the
one mentioned in this bug)

best,
Niles

-- 
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to 
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to