Thanks for the example! I'm hoping to work on p-adic linear algebra over the next few months, and having examples of failures is always useful to test improvements.
But that's a pretty impressive discrepancy, between 1345499989865120018402 and 0. I don't have time to look into it now, but I would guess that the dimension formula is getting the order of this character wrong, or casting a value into ZZ, or something else that's not sensible in this context. David On Tue, Oct 20, 2015 at 2:33 PM, <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) > > 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. > -- 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.
