# 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.