Ticket #13212: trac_13212.patch

File trac_13212.patch, 2.6 KB (added by ArgaezG, 9 years ago)

Sage 5.10

  • sage/modular/hecke/algebra.py

    # HG changeset patch
    # User Alejandro Argaez <alejandroargaezg@gmail.com>
    # Date 1374590851 0
    # Node ID bd4ddf651b1d4f205d81c0585ee10efa3de17b09
    # Parent  0f8fd922eaed351e39f913f1317d319dcceb4c01
    #13212: Change from subspace.py to submodule.py made
    
    diff --git a/sage/modular/hecke/algebra.py b/sage/modular/hecke/algebra.py
    a b  
    517517            6144
    518518            sage: ModularSymbols(1,4,sign=1).cuspidal_submodule().hecke_algebra().discriminant()
    519519            1
     520            sage: H = CuspForms(1, 24).hecke_algebra()
     521            sage: H.discriminant()
     522            83041344
    520523        """
    521524        try:
    522525            return self.__disc
  • sage/modular/hecke/submodule.py

    diff --git a/sage/modular/hecke/submodule.py b/sage/modular/hecke/submodule.py
    a b  
    952952            Vdual = A.row_space()
    953953        return self.ambient_hecke_module().submodule(V, Vdual, check=check)
    954954
     955    def hecke_bound(self):
     956        """
     957        Compute the Hecke bound for self; that is, a number n such that the
     958        T_m for m = n generate the Hecke algebra.
     959       
     960        EXAMPLES::
     961       
     962            sage: M = ModularSymbols(24,8)
     963            sage: M.hecke_bound()
     964            53
     965            sage: M.cuspidal_submodule().hecke_bound()
     966            32
     967            sage: M.eisenstein_submodule().hecke_bound()
     968            53
     969        """
     970        if self.is_cuspidal():
     971            return self.sturm_bound()
     972        else:
     973            return self.ambient_hecke_module().hecke_bound()
     974 No newline at end of file
  • sage/modular/modsym/subspace.py

    diff --git a/sage/modular/modsym/subspace.py b/sage/modular/modsym/subspace.py
    a b  
    311311            r, s)
    312312        self._factorization = sage.structure.factorization.Factorization(D, cr=True)
    313313        return self._factorization
    314 
    315     def hecke_bound(self):
    316         """
    317         Compute the Hecke bound for self; that is, a number n such that the
    318         T_m for m = n generate the Hecke algebra.
    319        
    320         EXAMPLES::
    321        
    322             sage: M = ModularSymbols(24,8)
    323             sage: M.hecke_bound()
    324             53
    325             sage: M.cuspidal_submodule().hecke_bound()
    326             32
    327             sage: M.eisenstein_submodule().hecke_bound()
    328             53
    329         """
    330         if self.is_cuspidal():
    331             return self.sturm_bound()
    332         else:
    333             return self.ambient_hecke_module().hecke_bound()
    334314   
    335315    def is_cuspidal(self):
    336316        """