On Tue, Oct 20, 2015 at 12:08 PM, <robert.poll...@gmail.com> wrote: > But it's working otherwise! Meaning that if I don't pass to the cuspidal > subspace, it appears to be correctly computing slopes. And it is so much > faster than working over Q(zeta_11)...
Well that's interesting! Other people have worked a lot on the Modular symbols code after I wrote it, so maybe they made changes to support non-exact base fields. William > > > On Tuesday, October 20, 2015 at 2:33:59 PM UTC-4, robert....@gmail.com > wrote: >> >> The following code crashes and asks me to report this as a bug: >> >> sage: Qp = pAdicField(11) >> >> sage: G = DirichletGroup(11,Qp) >> >> sage: omega = G.0 >> >> sage: M = ModularSymbols(omega^2,2) >> >> sage: M >> >> Modular Symbols space of dimension 2 and level 11, weight 2, character [4 >> + 7*11 + 9*11^2 + 5*11^3 + 2*11^4 + 9*11^5 + 8*11^6 + 7*11^8 + 8*11^9 + >> 6*11^10 + 6*11^11 + 5*11^12 + 5*11^13 + 5*11^14 + 7*11^15 + 10*11^16 + >> 5*11^17 + 3*11^18 + 5*11^19 + O(11^20)], sign 0, over 11-adic Field with >> capped relative precision 20 >> >> sage: M.cuspidal_submodule() >> >> >> --------------------------------------------------------------------------- >> >> AssertionError Traceback (most recent call >> last) >> >> <ipython-input-77-62b9556627c0> in <module>() >> >> ----> 1 M.cuspidal_submodule() >> >> >> >> /Applications/sage/local/lib/python2.7/site-packages/sage/modular/modsym/ambient.pyc >> in cuspidal_submodule(self) >> >> 1399 d = self._cuspidal_submodule_dimension_formula() >> >> 1400 if not d is None: >> >> -> 1401 assert d == S.dimension(), "According to >> dimension formulas the cuspidal subspace of \"%s\" has dimension %s; >> however, computing it using modular symbols we obtained %s, so there is a >> bug (please report!)."%(self, d, S.dimension()) >> >> 1402 self.__cuspidal_submodule = S >> >> 1403 return self.__cuspidal_submodule >> >> >> AssertionError: According to dimension formulas the cuspidal subspace of >> "Modular Symbols space of dimension 2 and level 11, weight 2, character [4 + >> 7*11 + 9*11^2 + 5*11^3 + 2*11^4 + 9*11^5 + 8*11^6 + 7*11^8 + 8*11^9 + >> 6*11^10 + 6*11^11 + 5*11^12 + 5*11^13 + 5*11^14 + 7*11^15 + 10*11^16 + >> 5*11^17 + 3*11^18 + 5*11^19 + O(11^20)], sign 0, over 11-adic Field with >> capped relative precision 20" has dimension 1345499989865120018402; however, >> computing it using modular symbols we obtained 0, so there is a bug (please >> report!). > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
