#8451: improve galois representation for elliptic curves
-------------------------------+--------------------------------------------
Reporter: wuthrich | Owner: cremona
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.4
Component: elliptic curves | Keywords: elliptic curves, galois
representation, is_surjective
Author: Chris Wuthrich | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by rlm):
I ran long tests, and everything passed. A couple questions:
For reducible primes, not sure whether you need is_prime(p) -- doesn't
isogeny_class only list prime degree isogenies?
Can we get rid of the "irregardless" in is_surjective? I hate that non-
word!
Replace "Borel" with "Borel subgroup" in image_type
I'm not entirely confident enough to give this a positive review on my
own, maybe someone else could look it over too?
Also, a question: if I run over all curves where the code in this ticket
gives one of
The image could not be determined, it is likely that the image in PGL_2 is
A_4
The image could not be determined, it is likely that the image in PGL_2 is
S_4
or
The image could not be determined, it is likely that the image in PGL_2 is
A_5
Are these the only cases that would be incorrect with the code as it is
now?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8451#comment:5>
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.
