Changes between Initial Version and Version 1 of Ticket #10453


Ignore:
Timestamp:
12/11/10 08:01:31 (2 years ago)
Author:
davidloeffler
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #10453 – Description

    initial v1  
    1 If you ask for the old submodule of a Gamma1 modular forms space, and that old subspace is actually zero, then Sage crashes: 
     1Weird things happen if you try to compute the old submodule of a Gamma1 modular forms space. E.g. 
    22 
    33{{{ 
    4 sage: CuspForms(Gamma1(11), 2).old_submodule() 
    5 ERROR: An unexpected error occurred while tokenizing input 
    6 The following traceback may be corrupted or invalid 
    7 The error message is: ('EOF in multi-line statement', (28, 0)) 
     4sage: CuspForms(Gamma1(11), 2).old_submodule() # crashes 
     5}}} 
    86 
    9 --------------------------------------------------------------------------- 
    10 ValueError                                Traceback (most recent call last) 
     7This turns out to be because: 
    118 
    12 /home/masiao/<ipython console> in <module>() 
     9{{{ 
     10sage: ModularForms(Gamma1(11), 2).hecke_module_of_level(1).hecke_module_of_level(11) 
     11Modular Forms space of dimension 2 for Congruence Subgroup Gamma0(11) of weight 2 over Rational Field 
     12}}} 
    1313 
    14 /usr/local/sage/sage-4.6/local/lib/python2.6/site-packages/sage/modular/hecke/submodule.pyc in old_submodule(self, p) 
    15     850             pass 
    16     851  
    17 --> 852         S = self.ambient_hecke_module().old_submodule(p) 
    18     853         os = S.intersection(self) 
    19     854         if os.rank() == self.rank(): 
    20  
    21 /usr/local/sage/sage-4.6/local/lib/python2.6/site-packages/sage/modular/hecke/ambient_module.pyc in old_submodule(self, p) 
    22     857             #end if 
    23     858         #end for 
    24 --> 859         os = self.submodule(d.image(), check=False) 
    25     860         self.__is_old[p] = (os == self) 
    26     861  
    27  
    28 /usr/local/sage/sage-4.6/local/lib/python2.6/site-packages/sage/modular/hecke/ambient_module.pyc in submodule(self, M, Mdual, check) 
    29     887             if M == self.free_module(): 
    30     888                 return self 
    31 --> 889         return self._submodule_class()(self, M, Mdual, check=check) 
    32     890  
    33     891     def _submodule_class(self): 
    34  
    35 /usr/local/sage/sage-4.6/local/lib/python2.6/site-packages/sage/modular/modform/submodule.pyc in __init__(self, ambient_module, submodule, dual, check) 
    36      46         """ 
    37      47         A = ambient_module 
    38 ---> 48         sage.modular.hecke.submodule.HeckeSubmodule.__init__(self, A, submodule, check=check) 
    39      49         space.ModularFormsSpace.__init__(self, A.group(), A.weight(), 
    40      50                                          A.character(), A.base_ring()) 
    41  
    42 /usr/local/sage/sage-4.6/local/lib/python2.6/site-packages/sage/modular/hecke/submodule.pyc in __init__(self, ambient, submodule, dual_free_module, check) 
    43      85             raise TypeError, "submodule must be a free module" 
    44      86         if not submodule.is_submodule(ambient.free_module()): 
    45 ---> 87             raise ValueError, "submodule must be a submodule of the ambient free module" 
    46      88  
    47      89         if check: 
    48  
    49 ValueError: submodule must be a submodule of the ambient free module 
    50 }}} 
     14so the degeneracy level-raising map is getting computed for the wrong space!