roed314 / OMS

Converting Rob Pollack's overconvergent modular symbols .sage code to .py and putting it in Sage
4 stars 4 forks source link

P-stabilization forgets the character #32

Closed loefflerd closed 11 years ago

loefflerd commented 11 years ago

The p_stabilize method forgets the character of a symbol:

sage: chi = DirichletGroup(24)([-1, -1, -1])
sage: f = Newforms(chi,names='a')[0]
sage: phi = f.PS_modular_symbol()
sage: phi11, h11 = phi.completions(11,8)[0]
sage: phi11.hecke(3) == h11(phi.Tq_eigenvalue(3))*phi11
True # good so far
sage: phi11s.is_Tq_eigensymbol(11)
False # should be True

This is independent of #31; that issue only concerns characters with values in field extensions, whereas in the example above the character is QQ-valued.

loefflerd commented 11 years ago

Fixed by commit d784825.