Opened 12 years ago

Closed 3 months ago

#10086 closed defect (invalid)

Coercion works incorrectly for power series over power series

Reported by: schilly Owned by: sage-combinat
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: combinatorics Keywords: LazyPowerSeries
Cc: axel.bacher@…, mhansen, mantepse Merged in:
Authors: Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps: todo

Status badges

Description (last modified by chapoton)

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)

this yields 0. Trying


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.

Change History (12)

comment:1 Changed 12 years ago by burcin

Cc: mhansen added
Component: symbolicscombinatorics
Owner: changed from burcin to sage-combinat

comment:2 Changed 9 years ago by jdemeyer

Milestone: sage-5.11sage-5.12

comment:3 Changed 9 years ago by mantepse

Cc: mantepse added
Keywords: LazyPowerSeries added

comment:4 Changed 9 years ago by mhansen

A fix is in #15673

comment:5 Changed 9 years ago by vbraun_spam

Milestone: sage-6.1sage-6.2

comment:6 Changed 9 years ago by vbraun_spam

Milestone: sage-6.2sage-6.3

comment:7 Changed 8 years ago by vbraun_spam

Milestone: sage-6.3sage-6.4

comment:8 Changed 7 years ago by jakobkroeker

Stopgaps: todo

comment:9 Changed 7 years ago by chapoton

Description: modified (diff)

comment:10 Changed 5 months ago by mantepse

Milestone: sage-6.4sage-duplicate/invalid/wontfix
Status: newneeds_review

This works now, since #32367.

comment:11 Changed 4 months ago by tscrim

Reviewers: Travis Scrimshaw
Status: needs_reviewpositive_review

There is also almost surely an implicit test for this too.

comment:12 Changed 3 months ago by mkoeppe

Resolution: invalid
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.