Lifted eigensymbols fail to be eigen!

roed314 / OMS

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

4 stars 4 forks source link

Lifted eigensymbols fail to be eigen! #27

Closed loefflerd closed 11 years ago

loefflerd commented 11 years ago

If you lift an eigensymbol (using either the Stevens or Greenberg algorithm) then the resulting lifted symbol returns False when you test whether it is a Tq eigenvector for q != p (and sometimes for q = p as well)

loefflerd commented 11 years ago

Oops, sorry, that was wrong (I used the wrong test case). I should probably get some sleep.