Oh, forgot the link:
http://github.com/bo198214/hyperops/raw/157fa46ca4439d0e022c1c6249c5862d1d2569c2/formal_powerseries.py

Grateful for any comments.

On Apr 6, 1:49 pm, Henryk Trappmann <bo198...@googlemail.com> wrote:
> Now a new version is out, picklable, coerceable and 100% coverage,
> though not comletely complete yet.
> But getting it to pickle was really *some* effort, 60 inner functions
> had to converted to "outer" classes, but now it works.
>
> However some strange effects occured with coercing:
> sage: RR.coerce_map_from(QQ) != None
> True
> sage: RR.coerce_map_from(int) != None
> True
> sage: RR.coerce_map_from(Integer) != None
> False
>
> Why is this? Same with QQ:
> sage: QQ.coerce_map_from(Integer) != None
> False
>
> Then in my formal powerseries module, I defined the _coerce_map_from_
> (self,T) in FormalPowerSeriesRing and
> sage: FormalPowerSeriesRing(RR)._coerce_map_from_(RR)
> True
>
> but despite _lmul_ and _rmul_ do not work with RR (though
> _coerce_map_from_ is definitely called and returns True).
> They work however with QQ as expected. Any hints?
> Here the error:
>
> sage: FormalPowerSeriesRing(RR)([1,2,3]) * (2/3)
> [0.666666666666667, 1.33333333333333, 2.00000000000000, 0, 0, 0, 0, 0,
> 0, ...]
> sage: FormalPowerSeriesRing(RR)([1,2,3]) * 2.0
> ---------------------------------------------------------------------------
> TypeError                                 Traceback (most recent call
> last)
>
> /home/bo198214/.sage/temp/darkdepth/6006/
> _home_bo198214__sage_init_sage_0.py in <module>()
>
> /usr/src/sage-3.4-linux-Debian_GNU_Linux_5.0_lenny-x86_64-Linux/local/
> lib/python2.5/site-packages/sage/structure/element.so in
> sage.structure.element.RingElement.__mul__ (sage/structure/element.c:
> 8632)()
>
> /usr/src/sage-3.4-linux-Debian_GNU_Linux_5.0_lenny-x86_64-Linux/local/
> lib/python2.5/site-packages/sage/structure/coerce.so in
> sage.structure.coerce.CoercionModel_cache_maps.bin_op (sage/structure/
> coerce.c:5848)()
>
> TypeError: unsupported operand parent(s) for '*':
> 'FormalPowerSeriesRing over Real Field with 53 bits of precision' and
> 'Real Field with 53 bits of precision'
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to