Module: sage.modular.modsym.subspace
Class: ModularSymbolsSubspace
self, ambient_hecke_module, submodule, [dual_free_module=True], [check=None]) |
Functions: boundary_map,
cuspidal_submodule,
dual_star_involution_matrix,
eisenstein_subspace,
factorization,
hecke_bound,
is_cuspidal,
is_eisenstein,
star_involution
self) |
The boundary map to the corresponding space of boundary modular symbols. (This is the restriction of the map on the ambient space.)
self) |
Return the cuspidal subspace of this space of modular symbols.
self) |
Return the matrix of the dual star involution, which is induced by complex conjugation on the linear dual of modular symbols.
self) |
Return the Eisenstein subspace of this space of modular symbols.
self) |
Returns a list of pairs
where
is simple spaces of
modular symbols and self is isomorphic to the direct sum of
the
as a module over the anemic Hecke algebra
adjoin the star involution.
ASSUMPTION: self is a module over the anemic Hecke algebra.
self) |
Return the star involution on self, which is induced by complex conjugation on modular symbols.
Special Functions: __cmp__,
_compute_sign_subspace,
_repr_
self, sign, [compute_dual=True]) |
Return the subspace of self that is fixed under the star involution.
INPUT: sign -- int (either -1 or +1) compute_dual -- bool (default: True) also compute dual subspace. This are useful for many algorithms. OUTPUT: subspace of modular symbols
See About this document... for information on suggesting changes.