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.