Hom spaces between Hecke modules#

class sage.modular.hecke.homspace.HeckeModuleHomspace(X, Y, category=None)[source]#

Bases: HomsetWithBase

A space of homomorphisms between two objects in the category of Hecke modules over a given base ring.

sage.modular.hecke.homspace.is_HeckeModuleHomspace(x)[source]#

Return True if x is a space of homomorphisms in the category of Hecke modules.

EXAMPLES:

Sage

sage: M = ModularForms(Gamma0(7), 4)
sage: sage.modular.hecke.homspace.is_HeckeModuleHomspace(Hom(M, M))
doctest:warning...
DeprecationWarning: the function is_HeckeModuleHomspace is deprecated;
use 'isinstance(..., HeckeModuleHomspace)' instead
See https://github.com/sagemath/sage/issues/37895 for details.
True
sage: sage.modular.hecke.homspace.is_HeckeModuleHomspace(Hom(M, QQ))
False

Python

>>> from sage.all import *
>>> M = ModularForms(Gamma0(Integer(7)), Integer(4))
>>> sage.modular.hecke.homspace.is_HeckeModuleHomspace(Hom(M, M))
doctest:warning...
DeprecationWarning: the function is_HeckeModuleHomspace is deprecated;
use 'isinstance(..., HeckeModuleHomspace)' instead
See https://github.com/sagemath/sage/issues/37895 for details.
True
>>> sage.modular.hecke.homspace.is_HeckeModuleHomspace(Hom(M, QQ))
False