roed314 / OMS

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

Equality is not working for distributions #42

Open rpollack9974 opened 11 years ago

rpollack9974 commented 11 years ago

sage: D = Distributions(0,11,5,base=Qp(11)) sage: mu = D([0,0,0,0]) sage: mu 11^4 * () sage: mu2 = D([1,1,10,0]) sage: mu2 (1 + O(11^4), 1 + O(11^3), 10 + O(11^2), O(11)) sage: mu2 == mu True