# Ticket #10450: trac_10450-extra_doctests.patch

File trac_10450-extra_doctests.patch, 2.0 KB (added by davidloeffler, 12 years ago)
• ## sage/modular/modform/space.py

```# HG changeset patch
# User David Loeffler <d.loeffler.01@cantab.net>
# Date 1295961245 0
# Node ID 01d76db9b30b7f71dd14d42203f2d15cd41cdccf
# Parent  14c659efe6ef7840ce4f5585bac90d3607df2945
#10450: doctest a minor bug fix in cuspidal/eisenstein submodules

diff -r 14c659efe6ef -r 01d76db9b30b sage/modular/modform/space.py```
 a sage: N.cuspidal_submodule().dimension() 1 We check that a bug noticed on trac #10450 is fixed:: sage: M = ModularForms(6, 10) sage: W = M.span_of_basis(M.basis()[0:2]) sage: W.cuspidal_submodule() Modular Forms subspace of dimension 2 of Modular Forms space of dimension 11 for Congruence Subgroup Gamma0(6) of weight 10 over Rational Field """ try: if self.__is_cuspidal == True: return [ element.Newform(self, factors[i], names=(names+str(i)) ) for i in range(len(factors)) ] def eisenstein_submodule(self): """ Return the Eisenstein submodule for this space of modular forms. sage: M = ModularForms(11,2) sage: M.eisenstein_submodule() Eisenstein subspace of dimension 1 of Modular Forms space of dimension 2 for Congruence Subgroup Gamma0(11) of weight 2 over Rational Field We check that a bug noticed on trac #10450 is fixed:: sage: M = ModularForms(6, 10) sage: W = M.span_of_basis(M.basis()[0:2]) sage: W.eisenstein_submodule() Modular Forms subspace of dimension 0 of Modular Forms space of dimension 11 for Congruence Subgroup Gamma0(6) of weight 10 over Rational Field """ try: if self.__is_eisenstein == True: