Creation of Subspaces

CuspidalSubspace(M): ModFrmAlg -> ModMatFld

Given a space \(M\) of algebraic modular forms, this constructs the subspace of \(M\) consisting of cuspidal forms. More precisely, this is the complement of the space generated by the Eisenstein series.