#11630: Local data of elliptic curves should not do any global work
-------------------------------+--------------------------------------------
Reporter: wuthrich | Owner: cremona
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.7.2
Component: elliptic curves | Keywords: Tate's algorithm
Work_issues: rebase to 4.7.1 | Upstream: N/A
Reviewer: John Cremona | Author: Chris Wuthrich
Merged: | Dependencies:
-------------------------------+--------------------------------------------
Changes (by cremona):
* status: needs_review => needs_work
* reviewer: => John Cremona
* work_issues: => rebase to 4.7.1
Comment:
First a technical point: the patch does not apply to 4.7.1.rc1+#11540.
Since 4.7.1 is almost out could you rebase the patch to the latest release
candidate?
I'll test more after that. Meanwhile I am not sure that the logic is
correct in the new, more general, global_minimal_model() function. Are
you assuming that the is a global minimal modell iff after replacing with
a local minimal model at every relevant prime, one after the other, the
result is minimal at all primes? I'm sure that is not right. On my
(infinitely long) to-do list is a function that determines whether there
is a global minimal model for any curve, which comes down to computing a
certain ideal and testing if it is principal; if so then (using a
generator for that ideal) one can find the minimal model. That should be
done, but not on this ticket.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11630#comment:3>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
