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 b  
    15281528       
    15291529            sage: N.cuspidal_submodule().dimension()
    15301530            1
     1531       
     1532        We check that a bug noticed on trac #10450 is fixed::
     1533       
     1534            sage: M = ModularForms(6, 10)
     1535            sage: W = M.span_of_basis(M.basis()[0:2])
     1536            sage: W.cuspidal_submodule()
     1537            Modular Forms subspace of dimension 2 of Modular Forms space of dimension 11 for Congruence Subgroup Gamma0(6) of weight 10 over Rational Field
    15311538        """
    15321539        try:
    15331540            if self.__is_cuspidal == True:
    … …  
    17071714        return [ element.Newform(self, factors[i], names=(names+str(i)) )
    17081715                 for i in range(len(factors)) ]
    17091716       
    1710    
    17111717    def eisenstein_submodule(self):
    17121718        """
    17131719        Return the Eisenstein submodule for this space of modular forms.
    … …  
    17171723            sage: M = ModularForms(11,2)
    17181724            sage: M.eisenstein_submodule()
    17191725            Eisenstein subspace of dimension 1 of Modular Forms space of dimension 2 for Congruence Subgroup Gamma0(11) of weight 2 over Rational Field
     1726
     1727        We check that a bug noticed on trac #10450 is fixed::
     1728       
     1729            sage: M = ModularForms(6, 10)
     1730            sage: W = M.span_of_basis(M.basis()[0:2])
     1731            sage: W.eisenstein_submodule()
     1732            Modular Forms subspace of dimension 0 of Modular Forms space of dimension 11 for Congruence Subgroup Gamma0(6) of weight 10 over Rational Field
    17201733        """
    17211734        try:
    17221735            if self.__is_eisenstein == True: