random OMS not working at prime 2 and negative weights

rpollack9974 commented 11 years ago

sage: D = OverconvergentDistributions(-2,base=Qp(2,10)) sage: MS = OverconvergentModularSymbols(2,coefficients=D) sage: Phi = MS.random_element() sage: Phi._consistency_check() 2 * (2^3 + 2^4 + 2^5 + 2^6 + 2^7 + 2^8 + O(2^9), 1 + 2^2 + 2^3 + 2^4 + 2^5 + 2^7 + O(2^8), 1 + 2^3 + 2^6 + O(2^7), 1 + 2^2 + 2^5 + O(2^6), 1 + 2^2 + 2^3 + O(2^5), 2^2 + O(2^4), 2^2 + O(2^3), 2 + O(2^2), 1 + O(2))

2 * (O(2^9), 1 + 2^2 + 2^6 + 2^7 + O(2^8), 1 + 2^2 + 2^4 + 2^6 + O(2^7), 1 + 2 + 2^4 + 2^5 + O(2^6), 1 + 2^2 + 2^3 + 2^4 + O(2^5), 2 + 2^2 + O(2^4), O(2^3), O(2^2), 1 + O(2))

ValueError Traceback (most recent call last)

in () ----> 1 Phi._consistency_check() /Applications/sage-5.7/local/lib/python2.7/site-packages/sage/modular/pollack_stevens/modsym_OMS_element.pyc in _consistency_check(self) 185 print -t 186 print f[id]*MR.gammas[id] - f[id] --> 187 raise ValueError("Does not add up correctly around loop") 188 189 print "This modular symbol satisfies the manin relations" ValueError: Does not add up correctly around loop

rharron commented 11 years ago

Do you mean to say it's not working at the prime 2? Or negative weight?

rpollack9974 commented 11 years ago

good question! I think both simultaneously is bad. I just tried p=11 and negative weights and it seemed ok.

rharron commented 11 years ago

I'd be surprised at this point if p=2 worked...

rpollack9974 commented 11 years ago

Sorry...this has nothing to do with p=2. I'll close and try again.

lalitkumarj / OMSCategory

random OMS not working at prime 2 and negative weights #27

2 * (O(2^9), 1 + 2^2 + 2^6 + 2^7 + O(2^8), 1 + 2^2 + 2^4 + 2^6 + O(2^7), 1 + 2 + 2^4 + 2^5 + O(2^6), 1 + 2^2 + 2^3 + 2^4 + O(2^5), 2 + 2^2 + O(2^4), O(2^3), O(2^2), 1 + O(2))