Converting Rob Pollack's overconvergent modular symbols .sage code to .py and putting it in Sage