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

multiplicative by 0 doesn't work for distributions #43

Closed rpollack9974 closed 11 years ago

rpollack9974 commented 11 years ago

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

sage: 0*mu

AttributeError Traceback (most recent call last)

/Users/rpollack/git/OMS/ in ()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/structure/element.so in sage.structure.element.RingElement.mul (sage/structure/element.c:14170)()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/structure/coerce.so in sage.structure.coerce.CoercionModel_cache_maps.bin_op (sage/structure/coerce.c:6775)()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/structure/coerce_actions.so in sage.structure.coerce_actions.LeftModuleAction.call (sage/structure/coerce_actions.c:6223)()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/modular/pollack_stevens/dist.so in sage.modular.pollack_stevens.dist.Dist.rmul (sage/modular/pollack_stevens/dist.c:6873)()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/modular/pollack_stevens/dist.so in sage.modular.pollack_stevens.dist.Dist_vector.lmul (sage/modular/pollack_stevens/dist.c:10949)()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/structure/element.so in sage.structure.element.Element.getattr (sage/structure/element.c:3527)()

/Applications/sage-5.6/local/lib/python2.7/site-packages/sage/structure/misc.so in sage.structure.misc.getattr_from_other_class (sage/structure/misc.c:1488)()

AttributeError: 'sage.rings.padics.padic_capped_relative_element.pAdicCappedRelativeElement' object has no attribute 'is_exact_zero'