On Tue, Oct 20, 2015 at 11:33 AM, <robert.poll...@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)
For what it is worth, I'm extremely surprised that the ModularSymbols constructor doesn't just immediately exit with NotImplementedError when given a p-adic (or any non-exact) field as base field on input. That's what it should do. There's no way anything will work, since generic linear algebra algorithms don't make any sense for non-exact fields, and ModularSymbols throughout use and assume that the base field is exact. So in my opinion somebody should open a ticket to make ModularSymbols(...) immediately raise NotImplementedError if the base field is not exact. - William > > 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.
