#17869: prove_BSD for elliptic curve uses an incorrect lemma
-------------------------------------+-------------------------------------
Reporter: wuthrich | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.6
Component: elliptic curves | Resolution:
Keywords: BSD | Merged in:
Authors: Chris Wuthrich | Reviewers: Peter Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/wuthrich/ticket/17869 | b8ce66ddaf48c7d913e89677f1491331cd0151ad
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by wuthrich):
Thanks.
Your suggestion about adding the reference and reordering the conditions
are very good and I did so. Also the one-line replacement of my 4 line
constuction is very welcome :)
As to the precise condition. Theorem 1 in the paper is used, but one needs
more. The best reference would be to theorem 14 in the linked preprint.
The thing is that for curves like 198b1 the second cohomology does not
vanish and that is needed in the argument as well.
--
Ticket URL: <http://trac.sagemath.org/ticket/17869#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
