# 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


1528  1528  
1529  1529  sage: N.cuspidal_submodule().dimension() 
1530  1530  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 
1531  1538  """ 
1532  1539  try: 
1533  1540  if self.__is_cuspidal == True: 
… 
… 

1707  1714  return [ element.Newform(self, factors[i], names=(names+str(i)) ) 
1708  1715  for i in range(len(factors)) ] 
1709  1716  
1710   
1711  1717  def eisenstein_submodule(self): 
1712  1718  """ 
1713  1719  Return the Eisenstein submodule for this space of modular forms. 
… 
… 

1717  1723  sage: M = ModularForms(11,2) 
1718  1724  sage: M.eisenstein_submodule() 
1719  1725  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 
1720  1733  """ 
1721  1734  try: 
1722  1735  if self.__is_eisenstein == True: 