#10086: Coercion works incorrectly for power series over power series
-----------------------------------+-----------------------------
Reporter: schilly | Owner: sage-combinat
Type: defect | Status: new
Priority: major | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: LazyPowerSeries | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps: todo
-----------------------------------+-----------------------------
Description changed by chapoton:
Old description:
> This was reported via the "Report a Problem" link:
>
> When I try the following:
> {{{
> S1 = LazyPowerSeriesRing(ZZ)
> S2 = LazyPowerSeriesRing(S1)
>
> t = S1.term(1, 1) # same results with t = S1.gen()
> tt = S2(t)
> tt.coefficient(0)
> }}}
> this yields 0. Trying
> {{{
> tt.aorder
> }}}
> I get 1.
>
> The series tt is the series with constant term equal to t, so its order
> should be zero and its 0th coefficient should be t.
New description:
This was reported via the "Report a Problem" link:
When I try the following:
{{{
S1 = LazyPowerSeriesRing(ZZ)
S2 = LazyPowerSeriesRing(S1)
t = S1.term(1, 1) # same results with t = S1.gen()
tt = S2(t)
tt.coefficient(0)
}}}
this yields 0. Trying
{{{
tt.aorder
}}}
I get 1.
The series tt is the series with constant term equal to t, so its order
should be zero and its 0th coefficient should be t.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/10086#comment:9>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
