Eigensymbol lifting doesn't work in the non-ordinary case

roed314 / OMS

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

4 stars 4 forks source link

Eigensymbol lifting doesn't work in the non-ordinary case #20

Open loefflerd opened 11 years ago

loefflerd commented 11 years ago

The method _lift_to_OMS_eigen does not work for modular symbols of positive slope. This can be made to work by using the fact that the first few moments of the input eigensymbol are known to higher precision. Cf Remark 8.4 in Pollack-Stevens.

mmasdeu commented 11 years ago

The btquotients code does take care of this issue, you can look in pautomorphicform.py for inspiration..