discriminant of Hecke algebra is broken

[aghitza]

----------------------------------------------------------------------
| Sage Version 5.0, Release Date: 2012-05-14                         |
| Type notebook() for the GUI, and license() for information.        |
----------------------------------------------------------------------
sage: H = CuspForms(1, 24).hecke_algebra()
sage: H.discriminant()
---------------------------------------------------------------------------
AttributeError                            Traceback (most recent call last)

/home/ghitza/<ipython console> in <module>()

/opt/sage-5.0/local/lib/python2.7/site-packages/sage/modular/hecke/algebra.pyc in discriminant(self)
    523         except AttributeError:
    524             pass
--> 525         basis = self.basis()
    526         d = len(basis)
    527         if d <= 1:

/opt/sage-5.0/local/lib/python2.7/site-packages/sage/modular/hecke/algebra.pyc in basis(self)
    472             pass
    473         level = self.level()
--> 474         bound = self.__M.hecke_bound()
    475         dim = self.__M.rank()
    476         if dim == 0:

/opt/sage-5.0/local/lib/python2.7/site-packages/sage/structure/parent.so in sage.structure.parent.Parent.__getattr__ (sage/structure/parent.c:6732)()

/opt/sage-5.0/local/lib/python2.7/site-packages/sage/structure/parent.so in sage.structure.parent.getattr_from_other_class (sage/structure/parent.c:3248)()

AttributeError: 'CuspidalSubmodule_level1_Q_with_category' object has no attribute 'hecke_bound'

Component: modular forms

Keywords: discriminant hecke beginner sd51

Author: Alejandro Argaez

Reviewer: Alex Ghitza

Merged: sage-5.12.beta2

Issue created by migration from https://trac.sagemath.org/ticket/13212

[loefflerd]

Changed keywords from discriminant hecke to discriminant hecke beginner sd51

[loefflerd]

comment:1

This can be corrected in one line by replacing the call to hecke_bound with sturm_bound.

[loefflerd]

comment:2

Correction: what I posted above is wrong -- this would be dangerous and introduce some odd bugs! Better would be to move the definition of hecke_bound in sage/modular/modsym/subspace.py to sage/modular/hecke/submodule.py. That is, I think, the minimally invasive way to make Hecke algebras of cuspidal modform spaces work properly.

[sagetrac-ArgaezG]

Attachment: trac_13212.patch.gz

Sage 5.10

[loefflerd]

Author: Alejandro Argaez

[aghitza]

Reviewer: Alex Ghitza

[jdemeyer]

Merged: sage-5.12.beta2