#9138: Categories for all rings
-------------------------------------------+--------------------------------
Reporter: jbandlow | Owner: nthiery
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.7.1
Component: categories | Keywords: introspection,
categories for rings
Work_issues: doc test errors in sage/doc | Upstream: N/A
Reviewer: | Author: Simon King
Merged: | Dependencies: sage-4.7, #11268,
#11139, #9976, #9944, #11269
-------------------------------------------+--------------------------------
Comment(by SimonKing):
For example, I get
{{{
sage: L = EllipticCurve('11a').padic_lseries(5)
---------------------------------------------------------------------------
RuntimeError Traceback (most recent call
last)
/home/king/<ipython console> in <module>()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/padics.pyc in padic_lseries(self, p,
normalize, use_eclib)
157 if self.ap(p) % p != 0:
158 Lp = plseries.pAdicLseriesOrdinary(self, p,
--> 159 normalize = normalize,
use_eclib=use_eclib)
160 else:
161 Lp = plseries.pAdicLseriesSupersingular(self, p,
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/padic_lseries.pyc in __init__(self,
E, p, use_eclib, normalize)
197 print "Warning : Curve outside Cremona's table.
Computations of modular symbol space might take very long !"
198
--> 199 self._modular_symbol = E.modular_symbol(sign=+1, use_eclib
= use_eclib, normalize=normalize)
200
201 def __add_negative_space(self):
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.pyc in
modular_symbol(self, sign, use_eclib, normalize)
1241 M = ell_modular_symbols.ModularSymbolECLIB(self, sign,
normalize=normalize)
1242 else :
-> 1243 M = ell_modular_symbols.ModularSymbolSage(self, sign,
normalize=normalize)
1244 self.__modular_symbol[typ] = M
1245 return M
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/ell_modular_symbols.pyc in
__init__(self, E, sign, normalize)
621 self._use_eclib = False
622 self._normalize = normalize
--> 623 self._modsym = E.modular_symbol_space(sign=self._sign)
624 self._base_ring = self._modsym.base_ring()
625 self._ambient_modsym = self._modsym.ambient_module()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/ell_rational_field.pyc in
modular_symbol_space(self, sign, base_ring, bound)
1111 except KeyError:
1112 pass
-> 1113 M = ell_modular_symbols.modular_symbol_space(self, sign,
base_ring, bound=bound)
1114 self.__modular_symbol_space[typ] = M
1115 return M
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/schemes/elliptic_curves/ell_modular_symbols.pyc in
modular_symbol_space(E, sign, base_ring, bound)
110 t = V.T(p)
111 ap = E.ap(p)
--> 112 V = (t - ap).kernel()
113 p = next_prime(p)
114
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/structure/element.so in
sage.structure.element.RingElement.__sub__
(sage/structure/element.c:12234)()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.bin_op
(sage/structure/coerce.c:6463)()
/mnt/local/king/SAGE/sage-4.7.1.rc1/local/lib/python2.6/site-
packages/sage/structure/coerce.so in
sage.structure.coerce.CoercionModel_cache_maps.canonical_coercion
(sage/structure/coerce.c:7862)()
RuntimeError: BUG in map, returned None -2 <type
'sage.categories.map.FormalCompositeMap'> Composite map:
From: Integer Ring
To: Full Hecke algebra acting on Modular Symbols space of dimension 2
for Gamma_0(11) of weight 2 with sign 1 over Rational Field
Defn: Natural morphism:
From: Integer Ring
To: Rational Field
then
Generic morphism:
From: Rational Field
To: Full Hecke algebra acting on Modular Symbols space of
dimension 2 for Gamma_0(11) of weight 2 with sign 1 over Rational Field
}}}
with the latest patches.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9138#comment:79>
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.
