#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 was):
I applied this to sage-4.4.alpha0 and get:
{{{
sage: rho = EllipticCurve('225a').galois_representation()
---------------------------------------------------------------------------
ImportError Traceback (most recent call
last)
/mnt/usb1/scratch/drew/sage-4.4.alpha0-sage.math.washington.edu-x86_64-Linux/<ipython
console> in <module>()
/mnt/usb1/scratch/drew/sage-4.4.alpha0-sage.math.washington.edu-x86_64-Linux/local/lib/python2.6
/site-packages/sage/schemes/elliptic_curves/ell_rational_field.pyc in
galois_representation(self)
4625 return self.__rho
4626 except AttributeError:
-> 4627 from gal_reps import GaloisRepresentation
4628 self.__rho = GaloisRepresentation(self)
4629 return self.__rho
/mnt/usb1/scratch/drew/sage-4.4.alpha0-sage.math.washington.edu-x86_64-Linux/local/lib/python2.6
/site-packages/sage/schemes/elliptic_curves/gal_reps.py in <module>()
133 import sage.misc.misc as misc
134 import sage.rings.all as rings
--> 135 from sage.rings.finite_field import GF
136 from sage.rings.all import RealField
137 from math import sqrt
ImportError: No module named finite_field
sage:
}}}
That seems to be a conflict, because there is no finite_field module in
sage.rings anymore. There is:
{{{
devel/sage/sage/rings/finite_rings/
}}}
So this patch needs to be rebased for 4.4 to have finite_field changed to
finite_rings... or much better -- *only* use sage.rings.all, which is
massively better. I.e., just do:
{{{
diff -r 35160a4d594a sage/schemes/elliptic_curves/gal_reps.py
--- a/sage/schemes/elliptic_curves/gal_reps.py Tue Mar 30 15:26:20 2010
-0700
+++ b/sage/schemes/elliptic_curves/gal_reps.py Tue Apr 20 15:04:12 2010
-0700
@@ -132,8 +132,7 @@
import sage.rings.arith as arith
import sage.misc.misc as misc
import sage.rings.all as rings
-from sage.rings.finite_field import GF
-from sage.rings.all import RealField
+from sage.rings.all import RealField, GF
}}}
and then everything seems fine. This is trac_8541_3.patch.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8451#comment:8>
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.
