roed314 / OMS

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

action on distributions with character doesn't work #29

Closed rpollack9974 closed 11 years ago

rpollack9974 commented 11 years ago

This code fails:

sage: D = Distributions(-1,3,50,character=DirichletGroup(23,QQ).0)
sage: mu = D._an_element_()
sage: mu.act_right(Matrix(2,2,[4,1,3,1]))
loefflerd commented 11 years ago

Fixed by 87ae28a. The example above doesn't work and shouldn't, because to act the matrix must be upper-triangular modulo both 3 and 23, but if this is satisfied it does now work.