search

roed314 / OMS

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

Creation of elements in Sym^k coefficient module is weird #10

Closed loefflerd closed 11 years ago

loefflerd commented 11 years ago

At the moment, the Sym^k distribution space has notions of "approximation module" that make no mathematical sense:

sage: D = sage.modular.pollack_stevens.distributions.Symk(4) sage: D.approx_module() Vector space of dimension 5 over Rational Field sage: D.approx_module(3) Vector space of dimension 3 over Rational Field sage: D.approx_module(0) Vector space of dimension 0 over Rational Field

These meaningless truncations do not support any kind of group action:

sage: x = D([1,2]) sage: x.act_right([0,1,-1,0]) (0, 0)