Funny bug with Tq_eigenvalue and iScale

roed314 / OMS

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

4 stars 4 forks source link

Funny bug with Tq_eigenvalue and iScale #26

Open loefflerd opened 11 years ago

loefflerd commented 11 years ago

sage: f = Newforms(8, 4)[0]
sage: f
q - 4*q^3 - 2*q^5 + O(q^6)
sage: phi = f.PS_modular_symbol()
sage: R.<x> = Qp(11)[]
sage: alpha = (x^2 - f[11]*x + 11^3).roots()[0][0]
sage: phis = phi.p_stabilize(p=11,alpha=alpha,M=20)
sage: phis.lift(eigensymbol=True)

This raises a bug whose backtrace is very mysterious and random (involving Tq_eigenvalue and iScale).

loefflerd commented 11 years ago

This eigenform is actually non-ordinary. (I thought @roed314 put in code to raise an error when you tried to lift a non-ordinary form?)